X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_extraction%2FocamlExtraction.ml;h=da7eee5acda96d889b57e25a8ff94dd3f7cb32f9;hb=59dfa0b85ba8a74f4b5c175f72ac7ebeed6fca7f;hp=0022599a8dd4c503508a7f6ddceeaa025faf9fd0;hpb=18c1584b94ad85301a95b69fe0a8fa8e02b61648;p=helm.git

diff --git a/matita/components/ng_extraction/ocamlExtraction.ml b/matita/components/ng_extraction/ocamlExtraction.ml
index 0022599a8..da7eee5ac 100644
--- a/matita/components/ng_extraction/ocamlExtraction.ml
+++ b/matita/components/ng_extraction/ocamlExtraction.ml
@@ -14,7 +14,7 @@ let print_ocaml_of_obj0 status ((_uri,_,_,_,_) as obj) =
    map_status status
     (fun status ml ->
       let status,cmds = Ocaml.pp_decl status ml in
-      print_ppcmds ~in_ml:true status (cmds ++ fnl ());
+      print_ppcmds ~in_ml:true status (cmds ++ fnl () ++ fnl ());
       status,()) res in
   status
  with