From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 12 Sep 2005 16:20:38 +0000 (+0000)
Subject: removed debugging print
X-Git-Tag: V_0_1_2_1~38
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2141f67b35b9ea866217ab2b5af1d5f24704454c;p=helm.git

removed debugging print
---

diff --git a/helm/ocaml/cic_disambiguation/disambiguate.ml b/helm/ocaml/cic_disambiguation/disambiguate.ml
index 919c33eb7..85bdc689c 100644
--- a/helm/ocaml/cic_disambiguation/disambiguate.ml
+++ b/helm/ocaml/cic_disambiguation/disambiguate.ml
@@ -37,7 +37,7 @@ exception Try_again
 
 type aliases = bool * DisambiguateTypes.environment
 
-let debug = true
+let debug = false
 let debug_print = if debug then prerr_endline else ignore
 
 (*