From 5388b96750d501a187a961b802e4b2c533f093c3 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 20 Jul 2005 16:19:53 +0000
Subject: [PATCH] Debugging code commented out.

---
 helm/matita/matitaMathView.ml | 2 ++
 1 file changed, 2 insertions(+)

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
 
-- 
2.39.2