some interfaces improved

[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 e9192f5989a8e54ac6a61d182dfa2cd01e2bcdad..a6e780a5f80d648021afac5e61048253cde123b8 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_item f (_, frm) item =
-   O.pp_item f frm item
+let write_unit f (_, frm) unit =
+   O.pp_unit f frm unit
    
 let close_out f (och, _) =
    close_out och; f ()