From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 6 Feb 2007 18:49:52 +0000 (+0000)
Subject: Debugging deactivated.
X-Git-Tag: make_still_working~6485
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=87a0accbe80f344510bcb1a0d561e22b4e00e99c;p=helm.git

Debugging deactivated.
---

diff --git a/helm/software/components/cic_disambiguation/disambiguate.ml b/helm/software/components/cic_disambiguation/disambiguate.ml
index ac26903b1..1a3183625 100644
--- a/helm/software/components/cic_disambiguation/disambiguate.ml
+++ b/helm/software/components/cic_disambiguation/disambiguate.ml
@@ -86,7 +86,7 @@ let uniq_domain dom =
  in
   snd (aux [] dom)
 
-let debug = true
+let debug = false
 let debug_print s = if debug then prerr_endline (Lazy.force s) else ()
 
 (*