X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fextlib%2Ftrie.ml;h=e9e7e3f7ba8e832bd753e73ef2fb8bbbaf8962fa;hb=3220eee6c3dd2968727c5c595d6ca78e89291b5f;hp=f60b2d45cc05eb1b367d1907252877c201b4f0cc;hpb=cf8b1c25a0011ca2a8a856b39e046da33c451221;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