From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 29 Nov 2004 12:30:09 +0000 (+0000)
Subject: removed old debugging prints
X-Git-Tag: PRE_UNIVERSES~4
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=12aedbd4d31929a29b46afada84854e65b790b40;p=helm.git

removed old debugging prints
---

diff --git a/helm/gTopLevel/termViewer.ml b/helm/gTopLevel/termViewer.ml
index b6ca2a532..8a7bb0901 100644
--- a/helm/gTopLevel/termViewer.ml
+++ b/helm/gTopLevel/termViewer.ml
@@ -127,9 +127,7 @@ class sequent_viewer ~(mml_of_cic_sequent:mml_of_cic_sequent) obj =
    let sequent_mml,(ids_to_terms,ids_to_father_ids,ids_to_hypotheses) =
      mml_of_cic_sequent metasenv sequent
    in
-prerr_endline "PRIMA DI SALVARE IL FILE" ;
     self#load_root ~root:sequent_mml#get_documentElement ;
-prerr_endline "SALVO IL FILE IN TEMP" ;
 ignore (Misc.domImpl#saveDocumentToFile ~name:"/tmp/pippo" ~doc:sequent_mml ());
      current_infos <-
       Some (ids_to_terms,ids_to_father_ids,ids_to_hypotheses)