From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 10 Nov 2004 12:02:27 +0000 (+0000)
Subject: disabled debugging info
X-Git-Tag: v_0_6_4_1~2
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1e89c2701ceb5c6d91d966dfb264a15098fcf51c;p=helm.git

disabled debugging info
---

diff --git a/helm/ocaml/cic_disambiguation/disambiguate.ml b/helm/ocaml/cic_disambiguation/disambiguate.ml
index 87ff805ad..0c57754f6 100644
--- a/helm/ocaml/cic_disambiguation/disambiguate.ml
+++ b/helm/ocaml/cic_disambiguation/disambiguate.ml
@@ -34,7 +34,7 @@ exception NoWellTypedInterpretation
   (** raised when an environment is not enough informative to decide *)
 exception Try_again
 
-let debug = true
+let debug = false
 let debug_print = if debug then prerr_endline else ignore
 
 (*