diff options
Diffstat (limited to 'src/diff_compare.ml')
| -rw-r--r-- | src/diff_compare.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/diff_compare.ml b/src/diff_compare.ml index 8a9f0e1..9e24c32 100644 --- a/src/diff_compare.ml +++ b/src/diff_compare.ml @@ -64,7 +64,7 @@ module Diff_compare = struct cmds = cmds; } - let diff_func ?recurse:_ (path : string list) res (m : change) = + let diff_func ?descent:_ (path : string list) res (m : change) = (* raises no exception: clone will always be called on extant path of left or right alert exn Vytree.get_values: @@ -132,7 +132,7 @@ end module D = Diff(Diff_compare) let add_empty_path src_node dest_node path = - (Config_tree.clone[@alert "-exn"]) ~recurse:false ~set_values:(Some []) src_node dest_node path + (Config_tree.clone[@alert "-exn"]) ~descent:false ~set_values:(Some []) src_node dest_node path let compare_at_path_maybe_empty left right path = let left = |