From f4ef7eec626e7a6fb70cdb71bd2ddb983613ab9f Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 5 Jul 2005 15:46:36 +0000 Subject: [PATCH] Debugging back to false --- helm/ocaml/cic_disambiguation/disambiguate.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic_disambiguation/disambiguate.ml b/helm/ocaml/cic_disambiguation/disambiguate.ml index 9896db7c9..62382c897 100644 --- a/helm/ocaml/cic_disambiguation/disambiguate.ml +++ b/helm/ocaml/cic_disambiguation/disambiguate.ml @@ -35,7 +35,7 @@ exception PathNotWellFormed (** raised when an environment is not enough informative to decide *) exception Try_again -let debug = true +let debug = false let debug_print = if debug then prerr_endline else ignore (* -- 2.39.2