From af58399ca75d427a57c01914a84c3b8408096a3f Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 8 Nov 2014 01:24:39 +0100 Subject: [PATCH] Levenshtein.Index.remove changed signature (useless param removed) --- string/levenshtein.ml | 6 +++--- string/levenshtein.mli | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/string/levenshtein.ml b/string/levenshtein.ml index 04e65dcc..cc4f9ade 100644 --- a/string/levenshtein.ml +++ b/string/levenshtein.ml @@ -98,7 +98,7 @@ module type S = sig (** Add a pair string/value to the index. If a value was already present for this string it is replaced. *) - val remove : 'b t -> string_ -> 'b -> 'b t + val remove : 'b t -> string_ -> 'b t (** Remove a string (and its associated value, if any) from the index. *) val retrieve : limit:int -> 'b t -> string_ -> 'b klist @@ -338,7 +338,7 @@ module Make(Str : STRING) = struct let rec get_transitions_for_any nda acc transitions = match transitions with - | NDA.Upon (NDA.Char _, i, j) :: transitions' -> + | NDA.Upon (NDA.Char _, _, _) :: transitions' -> get_transitions_for_any nda acc transitions' | NDA.Upon (NDA.Any, i, j) :: transitions' -> let acc = NDAStateSet.add (i,j) acc in @@ -558,7 +558,7 @@ module Make(Str : STRING) = struct (function | Node (_, m) -> Node (Some value, m)) - let remove trie s value = + let remove trie s = goto_leaf s trie (function | Node (_, m) -> Node (None, m)) diff --git a/string/levenshtein.mli b/string/levenshtein.mli index 9affac48..8db9fa5e 100644 --- a/string/levenshtein.mli +++ b/string/levenshtein.mli @@ -142,7 +142,7 @@ module type S = sig (** Add a pair string/value to the index. If a value was already present for this string it is replaced. *) - val remove : 'b t -> string_ -> 'b -> 'b t + val remove : 'b t -> string_ -> 'b t (** Remove a string (and its associated value, if any) from the index. *) val retrieve : limit:int -> 'b t -> string_ -> 'b klist