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