X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=components%2Fcic_disambiguation%2Fdisambiguate.ml;h=1a318362500e115107a1312cdf46bcd0294aeb30;hb=14c956f9be9e525fc2dd140e8a2ea6c063c48930;hp=ac26903b184165569272747fd10a1219ded135c8;hpb=4f12355502a0af2edfa98023270c21a9f0d83533;p=helm.git

diff --git a/components/cic_disambiguation/disambiguate.ml b/components/cic_disambiguation/disambiguate.ml
index ac26903b1..1a3183625 100644
--- a/components/cic_disambiguation/disambiguate.ml
+++ b/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 ()
 
 (*