fixed LApply pretty printing

[helm.git] / helm / ocaml / tactics / autoTactic.ml

diff --git a/helm/ocaml/tactics/autoTactic.ml b/helm/ocaml/tactics/autoTactic.ml
index c7cdc97acf202e72a46439e1434a1085f01602ef..ea29499a4b198ffaf95f326b4d578e1aa1e31202 100644 (file)
--- a/helm/ocaml/tactics/autoTactic.ml
+++ b/helm/ocaml/tactics/autoTactic.ml
@@ -23,7 +23,7 @@
  * http://cs.unibo.it/helm/.
  *)
 
- let debug_print = prerr_endline 
+ let debug_print = ignore (*prerr_endline *)
 
 (* let debug_print = fun _ -> () *)