Disabled debug prints in the inversion principle.

[helm.git] / helm / software / components / tactics / inversion_principle.ml

diff --git a/helm/software/components/tactics/inversion_principle.ml b/helm/software/components/tactics/inversion_principle.ml
index e15e8cb630a0eed2ab9543a34eab41f178d61c4e..3229a261b46f82640d05a52a78ece4ecc4dabd3b 100644 (file)
--- a/helm/software/components/tactics/inversion_principle.ml
+++ b/helm/software/components/tactics/inversion_principle.ml
@@ -23,7 +23,7 @@
  * http://cs.unibo.it/helm/.
  *)
 
-let debug = true;; 
+let debug = false;; 
 let debug_print =
  fun msg -> if debug then prerr_endline (Lazy.force msg) else ()