removed debugging print

diff --git a/helm/ocaml/cic_disambiguation/disambiguate.ml b/helm/ocaml/cic_disambiguation/disambiguate.ml
index 919c33eb76526e31035e13721ae25e6caffb7845..85bdc689cc14e6b2d234755f5bad7f5a90c3fe78 100644 (file)
--- 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
 
 (*