X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Flambda-delta%2Fcommon%2Fhierarchy.ml;h=e00cfc72cd3f97a889c9bb8e04ec67a301b69f51;hb=2e451dca46e509fd7e7772f3d2e438c189ce10a1;hp=375390bdca10aec79410cef305c2345c2a6735e2;hpb=79684e8bd0f54b5c88fff981366bd8c78dd0fbe9;p=helm.git

diff --git a/helm/software/lambda-delta/common/hierarchy.ml b/helm/software/lambda-delta/common/hierarchy.ml
index 375390bdc..e00cfc72c 100644
--- a/helm/software/lambda-delta/common/hierarchy.ml
+++ b/helm/software/lambda-delta/common/hierarchy.ml
@@ -20,13 +20,13 @@ let sort = H.create sorts
 
 (* Internal functions *******************************************************)
 
-let set_sort f (h:int) (s:string) =
-   H.add sort h s; f (succ h)
+let set_sort h s =
+   H.add sort h s; succ h
 
 (* Interface functions ******************************************************)
 
 let set_sorts f ss i =   
-   C.list_fold_left f set_sort i ss
+   f (List.fold_left set_sort i ss)
 
 let get_sort err f h =
    try f (H.find sort h) with Not_found -> err ()