From 416c35c2a0cbaa29b5fe6776c284f81b2fc8796b Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli 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