we renamed the module abbreviations according to src/modules.ml

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

diff --git a/helm/software/lambda-delta/src/toplevel/metaLibrary.ml b/helm/software/lambda-delta/src/toplevel/metaLibrary.ml
index 3ae116d96687c33daf4325ada45c93bd7b81ea35..ca0fd9792afc068a89f5730ebdcec8c830e4adb0 100644 (file)
--- a/helm/software/lambda-delta/src/toplevel/metaLibrary.ml
+++ b/helm/software/lambda-delta/src/toplevel/metaLibrary.ml
@@ -9,8 +9,8 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
-module F = Format
-module O = MetaOutput
+module F  = Format
+module MO = MetaOutput
 
 type out_channel = Pervasives.out_channel * F.formatter
 
@@ -30,7 +30,7 @@ let open_out f name =
    f (och, frm)
 
 let write_entity f (_, frm) entity =
-   O.pp_entity f frm entity
+   MO.pp_entity f frm entity
    
 let close_out f (och, _) =
    close_out och; f ()