From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 20 Jul 2005 16:19:53 +0000 (+0000)
Subject: Debugging code commented out.
X-Git-Tag: V_0_7_2~140
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5388b96750d501a187a961b802e4b2c533f093c3;p=helm.git

Debugging code commented out.
---

diff --git a/helm/matita/matitaMathView.ml b/helm/matita/matitaMathView.ml
index cd3571ff4..56abbf0b0 100644
--- 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