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

diff --git a/helm/software/lambda-delta/toplevel/metaLibrary.ml b/helm/software/lambda-delta/toplevel/metaLibrary.ml
index a6e780a5f..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_unit f (_, frm) unit =
-   O.pp_unit f frm unit
+let write_entity f (_, frm) entity =
+   O.pp_entity f frm entity
    
 let close_out f (och, _) =
    close_out och; f ()