X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fxoa%2Fxoa.ml;h=64ce87b175ce1b96d17b4d2ce9bb64e9f9aa75b3;hp=c5604f1e657243088e9682944122136d91618c91;hb=ca318d6d92098c3a65c9f0841174ca110c82e064;hpb=ae626612bff9c3746dd7647bbada791c737e348c

diff --git a/matita/components/binaries/xoa/xoa.ml b/matita/components/binaries/xoa/xoa.ml
index c5604f1e6..64ce87b17 100644
--- a/matita/components/binaries/xoa/xoa.ml
+++ b/matita/components/binaries/xoa/xoa.ml
@@ -35,8 +35,8 @@ let unm_and s =
 let process_centralized conf =
   let preamble = L.get_preamble conf in
   if R.has "xoa.objects" && R.has "xoa.notations" then begin
-    let ooch = L.open_out preamble (R.get_string "xoa.objects") in
-    let noch = L.open_out preamble (R.get_string "xoa.notations") in
+    let ooch = L.open_out true preamble (R.get_string "xoa.objects") in
+    let noch = L.open_out false preamble (R.get_string "xoa.notations") in
     List.iter (L.out_include ooch) (R.get_list R.string "xoa.include");
     L.out_include ooch (R.get_string "xoa.notations" ^ ".ma");
     List.iter (E.generate ooch noch) (R.get_list unm_ex "xoa.ex");
@@ -62,8 +62,8 @@ let generate (p, o, n) d =
   in
   if !incremental && L.exists_out oname && L.exists_out nname then () else
   begin
-    let ooch = L.open_out p oname in
-    let noch = L.open_out p nname in
+    let ooch = L.open_out true p oname in
+    let noch = L.open_out false p nname in
     List.iter (L.out_include ooch) (R.get_list R.string "xoa.include");
     L.out_include ooch (nname ^ ".ma");
     E.generate ooch noch d;