X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fcommon%2Fhierarchy.ml;fp=helm%2Fsoftware%2Flambda-delta%2Fcommon%2Fhierarchy.ml;h=f8a58dc0f37bf180d4ec6c07eeb74e0ad743f910;hb=ea41b1f6e212334924a8de4b2ff53b2586de9c4b;hp=e00cfc72cd3f97a889c9bb8e04ec67a301b69f51;hpb=01304bffd3ee2a66216214a9e1a8ee7fdfdf16e3;p=helm.git

diff --git a/helm/software/lambda-delta/common/hierarchy.ml b/helm/software/lambda-delta/common/hierarchy.ml
index e00cfc72c..f8a58dc0f 100644
--- a/helm/software/lambda-delta/common/hierarchy.ml
+++ b/helm/software/lambda-delta/common/hierarchy.ml
@@ -25,15 +25,15 @@ let set_sort h s =
 
 (* Interface functions ******************************************************)
 
-let set_sorts f ss i =   
-   f (List.fold_left set_sort i ss)
+let set_sorts ss i =   
+   List.fold_left set_sort i ss
 
 let get_sort err f h =
    try f (H.find sort h) with Not_found -> err ()
 
-let string_of_graph f (s, _) = f s
+let string_of_graph (s, _) = s
 
-let apply f (_, g) h = f (g h)
+let apply (_, g) h = (g h)
 
 let graph_of_string err f s =
    try