diff options
Diffstat (limited to 'lib/edit.mli')
| -rw-r--r-- | lib/edit.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/edit.mli b/lib/edit.mli index 4f3b7803c1..9cf8d62b89 100644 --- a/lib/edit.mli +++ b/lib/edit.mli @@ -48,7 +48,7 @@ val rev_mutate : ('a,'b,'c) t -> ('c -> 'b -> 'b) -> unit managed for each range element. *) val undo : ('a,'b,'c) t -> int -> unit -val create : ('a,'b,'c) t -> 'a * 'b * 'c * int option -> unit +val create : ('a,'b,'c) t -> 'a * 'b * 'c * int -> unit val delete : ('a,'b,'c) t -> 'a -> unit val dom : ('a,'b,'c) t -> 'a list |