From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 8 Sep 2005 12:49:43 +0000 (+0000)
Subject: removed some debugging prints
X-Git-Tag: V_0_1_2_1~55
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ef7c83bce91f9077c5eafee157aac497095b6b88;p=helm.git

removed some debugging prints
---

diff --git a/helm/ocaml/tactics/reductionTactics.ml b/helm/ocaml/tactics/reductionTactics.ml
index 8f806883e..4abf2fb07 100644
--- a/helm/ocaml/tactics/reductionTactics.ml
+++ b/helm/ocaml/tactics/reductionTactics.ml
@@ -137,11 +137,6 @@ let change_tac ~pattern with_what  =
     let pairs, metasenv, ugraph =
       List.fold_left
         (fun (pairs, metasenv, ugraph) (context_of_t, t) ->
-prerr_endline "++++++++++++++++++++++++++";
-prerr_endline "context_of_t";
-prerr_endline (CicMetaSubst.ppcontext [] context_of_t);
-prerr_endline "t";
-prerr_endline (CicMetaSubst.ppterm [] t);
           let with_what, metasenv, ugraph =
             with_what context_of_t metasenv ugraph
           in