X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FgTopLevel%2FtermViewer.ml;h=25570868b9385120b76881a667dd1a802d34ea04;hb=1e61e4290c96600e3758b30b660712514ba379e3;hp=bd7d0066dc9bcced6082d94612d7a526b61af296;hpb=efd1d308c25b8167dfb0861e70c7381eb6dedc4b;p=helm.git

diff --git a/helm/gTopLevel/termViewer.ml b/helm/gTopLevel/termViewer.ml
index bd7d0066d..25570868b 100644
--- a/helm/gTopLevel/termViewer.ml
+++ b/helm/gTopLevel/termViewer.ml
@@ -244,7 +244,6 @@ Misc.domImpl#saveDocumentToFile ~name:"/tmp/prova" ~doc:mml () ;
         let time1 = Sys.time () in
         self#load_root ~root:mml#get_documentElement ;
         let time2 = Sys.time () in
-	prerr_endline "LUCA: PASSO DA DOVE DEVO PASSARE" ; 
         debug_print ("Loading and displaying the proof took " ^
           string_of_float (time2 -. time1) ^ "seconds") ;
         current_mml <- Some mml