Debugging code commented out.

[helm.git] / helm / matita / matitaMathView.ml

diff --git a/helm/matita/matitaMathView.ml b/helm/matita/matitaMathView.ml
index cd3571ff4322aad73318565bc53e20a1de8003c9..56abbf0b06de6e6a3ccf485a60ebb6d2956c1e09 100644 (file)
--- a/helm/matita/matitaMathView.ml
+++ b/helm/matita/matitaMathView.ml
@@ -167,9 +167,11 @@ class sequentViewer obj =
       ApplyTransformation.mml_of_cic_sequent metasenv sequent
     in
     current_infos <- Some (ids_to_terms, ids_to_father_ids, ids_to_hypotheses);
+(*
     let name = "sequent_viewer.xml" in
     prerr_endline ("load_sequent: dumping MathML to ./" ^ name);
     ignore (DomMisc.domImpl#saveDocumentToFile ~name ~doc:mathml ());
+*)
     self#load_root ~root:mathml#get_documentElement
  end