X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Ftactics%2Finversion_principle.ml;h=3229a261b46f82640d05a52a78ece4ecc4dabd3b;hb=dfee894b6cc036014bbbf1f508621840f44144d7;hp=e15e8cb630a0eed2ab9543a34eab41f178d61c4e;hpb=30743ffb0d331aaaa449957238128943ba781ecf;p=helm.git

diff --git a/helm/software/components/tactics/inversion_principle.ml b/helm/software/components/tactics/inversion_principle.ml
index e15e8cb63..3229a261b 100644
--- 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 ()