]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/components/ng_extraction/ocamlExtraction.ml
Bug fixed: "open X" were not printed in .mli because streams are destructive.
[helm.git] / matita / components / ng_extraction / ocamlExtraction.ml
index a18d8a954181887d33a7e1822b6ec21d767b36a5..6465aa86d26a57e9f68dcf30e640db202e792ed3 100644 (file)
@@ -41,6 +41,7 @@ let print_open status uris =
      List.map (fun uri -> Filename.basename (NUri.string_of_uri uri)) uris in
     let status,cmds = map_status status Ocaml.pp_open fnames in
     List.iter (print_ppcmds status ~in_ml:true) cmds;
+    let status,cmds = map_status status Ocaml.pp_open fnames in
     List.iter (print_ppcmds status ~in_ml:false) cmds;
     status
   ) status