Initial revision

[helm.git] / helm / graphs / tools / uriSetQueue.ml

diff --git a/helm/graphs/tools/uriSetQueue.ml b/helm/graphs/tools/uriSetQueue.ml
index 1bb6b5ee4c4fa58c83eeb41b0f7733a46e4a020e..29482c26817dfd79571b732eba9fc9f84cc123ec 100644 (file)
--- a/helm/graphs/tools/uriSetQueue.ml
+++ b/helm/graphs/tools/uriSetQueue.ml
@@ -23,9 +23,9 @@
  * http://cs.unibo.it/helm/.
  *)
 
-Http_common.debug := true;;
 let debug = true;;
 let debug_print s = if debug then prerr_endline s;;
+Http_common.debug := debug;;
 
 open Printf;;