disabled debugging info

diff --git a/helm/ocaml/cic_disambiguation/disambiguate.ml b/helm/ocaml/cic_disambiguation/disambiguate.ml
index 87ff805ade35263e2c25bc70a31924afa75125d4..0c57754f6f4ddbb85e8c6a8eace5a048eb819c11 100644 (file)
--- a/helm/ocaml/cic_disambiguation/disambiguate.ml
+++ b/helm/ocaml/cic_disambiguation/disambiguate.ml
@@ -34,7 +34,7 @@ exception NoWellTypedInterpretation
   (** 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
 
 (*