X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Ftactics%2FdestructTactic.ml;h=1344e978fb0bafdf256fdec7593ddc257d842c2e;hb=ca502ca83c2db2358b256cf7489ec38dd8e3faf9;hp=2ea9e047c79458d13c1975055c83161f6d7ffdef;hpb=c6e99dc27b51fee56d4d1c6f88d1a8e6ff83af5a;p=helm.git

diff --git a/components/tactics/destructTactic.ml b/components/tactics/destructTactic.ml
index 2ea9e047c..1344e978f 100644
--- a/components/tactics/destructTactic.ml
+++ b/components/tactics/destructTactic.ml
@@ -41,7 +41,7 @@ module ET = EqualityTactics
 module DTI = DoubleTypeInference
 module FNG = FreshNamesGenerator
 
-let debug = true
+let debug = false
 let debug_print = 
   if debug then (fun x -> prerr_endline (Lazy.force x)) else (fun _ -> ())