From 87a0accbe80f344510bcb1a0d561e22b4e00e99c Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 6 Feb 2007 18:49:52 +0000 Subject: [PATCH] Debugging deactivated. --- helm/software/components/cic_disambiguation/disambiguate.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 () (* -- 2.39.2