From 2141f67b35b9ea866217ab2b5af1d5f24704454c Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 12 Sep 2005 16:20:38 +0000 Subject: [PATCH] removed debugging print --- 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 919c33eb7..85bdc689c 100644 --- a/helm/ocaml/cic_disambiguation/disambiguate.ml +++ b/helm/ocaml/cic_disambiguation/disambiguate.ml @@ -37,7 +37,7 @@ exception Try_again type aliases = bool * DisambiguateTypes.environment -let debug = true +let debug = false let debug_print = if debug then prerr_endline else ignore (* -- 2.39.2