diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/session.ml | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/src/session.ml b/src/session.ml index 5cd5027..375ec43 100644 --- a/src/session.ml +++ b/src/session.ml @@ -75,17 +75,8 @@ let validate w _s path = RT.validate_path D.(w.dirs.validators) w.reference_tree path with RT.Validation_error x -> raise (Session_error x) -let validate_tree w' t = - let validate_path w out path = - let res = - try - RT.validate_path D.(w.dirs.validators) w.reference_tree path; - out - with RT.Validation_error x -> out ^ x - in res - in - let paths = CT.value_paths_of_tree t in - let out = List.fold_left (validate_path w') "" paths in +let validate_tree w t = + let out = RT.validate_tree D.(w.dirs.validators) w.reference_tree t in match out with | "" -> () | _ -> raise (Session_error out) |