]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/registry/helm_registry.ml
removed debugging prints and better sample
[helm.git] / helm / ocaml / registry / helm_registry.ml
index 09582eafe9ee663182d9027a0a20c34ff0165171..7767e4da269dc8e749aeebaf6937b1bf1cf0f602 100644 (file)
@@ -25,7 +25,7 @@
 
 open Printf
 
-let debug = true
+let debug = false
 let debug_print s =
   if debug then prerr_endline ("Helm_registry debugging: " ^ s)