X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaMathView.ml;h=4b54f60ac1e7f36bdd355147166e9790f53476fa;hb=219834c0e605004a33cae194f1216c0b877b8ab4;hp=544b4f59539c3868e94b8dda0c2dee5c0d3c982a;hpb=1a613a4c0b68938f0ced6e190adffa805d1b5680;p=helm.git

diff --git a/matita/matitaMathView.ml b/matita/matitaMathView.ml
index 544b4f595..4b54f60ac 100644
--- a/matita/matitaMathView.ml
+++ b/matita/matitaMathView.ml
@@ -550,7 +550,8 @@ object (self)
         ids_to_terms, ids_to_hypotheses, ids_to_father_ids,
         Hashtbl.create 1, None));
     if BuildTimeConf.debug then begin
-      let name = "sequent_viewer.xml" in
+      let name =
+       "/tmp/sequent_viewer_" ^ string_of_int (Unix.getuid ()) ^ ".xml" in
       HLog.debug ("load_sequent: dumping MathML to ./" ^ name);
       ignore (domImpl#saveDocumentToFile ~name ~doc:mathml ())
     end;
@@ -572,7 +573,8 @@ object (self)
         self#thaw
     |  _ ->
         if BuildTimeConf.debug then begin
-          let name = "cic_browser.xml" in
+          let name =
+           "/tmp/cic_browser_" ^ string_of_int (Unix.getuid ()) ^ ".xml" in
           HLog.debug ("cic_browser: dumping MathML to ./" ^ name);
           ignore (domImpl#saveDocumentToFile ~name ~doc:mathml ())
         end;