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

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