removed some debugging prints

diff --git a/helm/ocaml/tactics/reductionTactics.ml b/helm/ocaml/tactics/reductionTactics.ml
index 8f806883eb580155b9405f6339ace37b524bce26..4abf2fb07a800427f75aae03d0aa1df7db2dbd46 100644 (file)
--- 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