From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 25 Oct 2005 12:57:59 +0000 (+0000)
Subject: Debugging code turned off.
X-Git-Tag: V_0_7_2_3~196
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=abd040af0df5b79fdaa05dcbeeaf1bb759f19689;p=helm.git

Debugging code turned off.
---

diff --git a/helm/ocaml/cic_proof_checking/cicReduction.ml b/helm/ocaml/cic_proof_checking/cicReduction.ml
index 29762b86d..0229f2338 100644
--- a/helm/ocaml/cic_proof_checking/cicReduction.ml
+++ b/helm/ocaml/cic_proof_checking/cicReduction.ml
@@ -33,7 +33,7 @@ exception ReferenceToVariable;;
 exception ReferenceToCurrentProof;;
 exception ReferenceToInductiveDefinition;;
 
-let debug = true
+let debug = false
 let debug_print s = if debug then prerr_endline (Lazy.force s)
 
 let fdebug = ref 1;;