X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fcomponents%2Fng_kernel%2FnCicReduction.ml;h=7542a52e03683ce1bb3905c3e6dc28fe7b7c2af9;hb=84b38ac86f1f92b91ae8913cd0dbcb5c3485dc3a;hp=52cdb3840c371ed2776f9b879a5f419110d11ae8;hpb=03c0037e213792cff9cace9b0dd0d93b10bb5ae0;p=helm.git

diff --git a/matita/components/ng_kernel/nCicReduction.ml b/matita/components/ng_kernel/nCicReduction.ml
index 52cdb3840..7542a52e0 100644
--- a/matita/components/ng_kernel/nCicReduction.ml
+++ b/matita/components/ng_kernel/nCicReduction.ml
@@ -18,7 +18,7 @@ module E = NCicEnvironment
 exception AssertFailure of string Lazy.t;;
 
 let debug = ref false;;
-let pp m = if !debug then prerr_endline (Lazy.force m) else ();;
+(*let pp m = if !debug then prerr_endline (Lazy.force m) else ();;*)
 
 module type Strategy = sig
   type stack_term