From 12aedbd4d31929a29b46afada84854e65b790b40 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 29 Nov 2004 12:30:09 +0000 Subject: [PATCH] removed old debugging prints --- helm/gTopLevel/termViewer.ml | 2 -- 1 file changed, 2 deletions(-) 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) -- 2.39.2