moved a debug print so that it is executed for each phrase

[helm.git] / helm / matita / matitaInterpreter.ml

diff --git a/helm/matita/matitaInterpreter.ml b/helm/matita/matitaInterpreter.ml
index 96b765c704350d95307b70f220d1d6e1cdcd8a70..a231c08919564e482c3f27fd2716392d31b8162a 100644 (file)
--- 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