X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita%2FmatitaEngine.ml;h=6b4c6655b03a9d1ddc4769b10a80e4ed05295d0d;hb=5ea6d9e71ec0f2e55d42369cb15727713edab684;hp=fea7161c157fbe7a015383d1a2a35252b40434a4;hpb=db020b4218272e2e35641ce3bc3b0a9b3afda899;p=helm.git

diff --git a/matita/matita/matitaEngine.ml b/matita/matita/matitaEngine.ml
index fea7161c1..6b4c6655b 100644
--- a/matita/matita/matitaEngine.ml
+++ b/matita/matita/matitaEngine.ml
@@ -122,9 +122,9 @@ let write_ast_to_file status fname statement =
           else (first_line := false; [Open_wronly; Open_trunc; Open_creat])
         in
         let out_channel =
-          Stdlib.open_out_gen flaglist 0o0644 fname in
-        let _ = Stdlib.output_string out_channel ((if str.[0] <> '\n' then s else str) ^ "\n") in
-        let _ = Stdlib.close_out out_channel in
+          open_out_gen flaglist 0o0644 fname in
+        let _ = output_string out_channel ((if str.[0] <> '\n' then s else str) ^ "\n") in
+        let _ = close_out out_channel in
         str
       )
     else