X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Ftoplevel%2FmetaLibrary.ml;h=3ae116d96687c33daf4325ada45c93bd7b81ea35;hb=a22628e5de37d3ffe9de056d7683f2ebdf7226fb;hp=e9192f5989a8e54ac6a61d182dfa2cd01e2bcdad;hpb=de66af7241ad8ab71d5857d14570e4662f2488dc;p=helm.git

diff --git a/helm/software/lambda-delta/toplevel/metaLibrary.ml b/helm/software/lambda-delta/toplevel/metaLibrary.ml
index e9192f598..3ae116d96 100644
--- a/helm/software/lambda-delta/toplevel/metaLibrary.ml
+++ b/helm/software/lambda-delta/toplevel/metaLibrary.ml
@@ -29,8 +29,8 @@ let open_out f name =
    F.pp_set_margin frm max_int;
    f (och, frm)
 
-let write_item f (_, frm) item =
-   O.pp_item f frm item
+let write_entity f (_, frm) entity =
+   O.pp_entity f frm entity
    
 let close_out f (och, _) =
    close_out och; f ()