-(*
- debug_print "load_sequent: dumping MathML to ./prova";
- ignore (DomMisc.domImpl#saveDocumentToFile ~name:"./prova" ~doc:mathml ());
-*)
+ let name = "sequent_viewer.xml" in
+ prerr_endline ("load_sequent: dumping MathML to ./" ^ name);
+ ignore (DomMisc.domImpl#saveDocumentToFile ~name ~doc:mathml ());