Most warnings turned into errors and avoided

[helm.git] / matita / components / extlib / trie.ml

diff --git a/matita/components/extlib/trie.ml b/matita/components/extlib/trie.ml
index f60b2d45cc05eb1b367d1907252877c201b4f0cc..e9e7e3f7ba8e832bd753e73ef2fb8bbbaf8962fa 100644 (file)
--- a/matita/components/extlib/trie.ml
+++ b/matita/components/extlib/trie.ml
@@ -113,7 +113,7 @@ module Make (M : Map.S) = struct
     in
     traverse [] t
 
-  let rec fold f t acc =
+  let fold f t acc =
     let rec traverse revp t acc = match t with
       | Node (None,m) -> 
          M.fold (fun x -> traverse (x::revp)) m acc