X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fextlib%2Ftrie.ml;h=e9e7e3f7ba8e832bd753e73ef2fb8bbbaf8962fa;hb=3df31c02806eca83c63c14e6a89844f764c3e2cb;hp=f60b2d45cc05eb1b367d1907252877c201b4f0cc;hpb=e2718488c73b2cdf20b26af46e80a11b91fac220;p=helm.git

diff --git a/matita/components/extlib/trie.ml b/matita/components/extlib/trie.ml
index f60b2d45c..e9e7e3f7b 100644
--- 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