From 416c35c2a0cbaa29b5fe6776c284f81b2fc8796b Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 10 Feb 2005 16:12:17 +0000
Subject: [PATCH] moved a debug print so that it is executed for each phrase

---
 helm/matita/matita.ml            | 2 +-
 helm/matita/matitaInterpreter.ml | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

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
diff --git a/helm/matita/matitaInterpreter.ml b/helm/matita/matitaInterpreter.ml
index 96b765c70..a231c0891 100644
--- a/helm/matita/matitaInterpreter.ml
+++ b/helm/matita/matitaInterpreter.ml
@@ -91,7 +91,6 @@ class virtual interpreterState =
       res
 
     method evalPhrase s =
-      debug_print (sprintf "evaluating '%s'" s);
       self#_evalTactical (self#parsePhrase (Stream.of_string s))
 
     method evalAst ast = self#_evalTactical ast
-- 
2.39.2