some renaming. final commit for version 0.8.0

[helm.git] / helm / software / lambda-delta / toplevel / metaLibrary.ml

diff --git a/helm/software/lambda-delta/toplevel/metaLibrary.ml b/helm/software/lambda-delta/toplevel/metaLibrary.ml
index a6e780a5f80d648021afac5e61048253cde123b8..3ae116d96687c33daf4325ada45c93bd7b81ea35 100644 (file)
--- 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 ()