X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fregistry%2Fhelm_registry.ml;h=7767e4da269dc8e749aeebaf6937b1bf1cf0f602;hb=7efb15b93cf42eae8b34a12a327ee7213c1dbecc;hp=09582eafe9ee663182d9027a0a20c34ff0165171;hpb=67e223f6d9a8a08a855885bbbedf18c3dcd192cd;p=helm.git

diff --git a/helm/ocaml/registry/helm_registry.ml b/helm/ocaml/registry/helm_registry.ml
index 09582eafe..7767e4da2 100644
--- a/helm/ocaml/registry/helm_registry.ml
+++ b/helm/ocaml/registry/helm_registry.ml
@@ -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)