X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2Fmatita.ml;h=3052e975e5cab70b78f8a86f7137bba1cda31738;hb=fdd8107cc53f5e862004aa5fcd48593ee5634234;hp=59ec55f3a2714ce82c1ba67db6d4e1f7b211a876;hpb=88685adce112ba14de5051e1d40f0b203dfc2922;p=helm.git

diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml
index 59ec55f3a..3052e975e 100644
--- a/helm/matita/matita.ml
+++ b/helm/matita/matita.ml
@@ -95,7 +95,6 @@ let console_callback s =
     | tac -> tac
   in
   let needed_by_script ast =
-    prerr_endline (TacticAstPp.pp_tactical ast);
     match strip_locations ast with
     | A.Tactic _
     | A.Command
@@ -104,6 +103,7 @@ let console_callback s =
     | _ -> false
   in
   let ast = disambiguator#parserr#parseTactical (Stream.of_string s) in
+  debug_print (sprintf "evaluating '%s'" s);
   if needed_by_script ast then
     script#advance s
   else