diff options
Diffstat (limited to 'src/diff.mli')
| -rw-r--r-- | src/diff.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/diff.mli b/src/diff.mli index 41ae523..1b021bd 100644 --- a/src/diff.mli +++ b/src/diff.mli @@ -5,7 +5,7 @@ exception Empty_comparison module type Place = sig type t - val diff_func : ?recurse:bool -> string list -> t -> change -> t + val diff_func : ?descent:bool -> string list -> t -> change -> t end module Diff : functor (P: Place) -> sig |