From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 27 Dec 2002 10:46:53 +0000 (+0000)
Subject: - removed debug_print, now in Http_getter_debugger
X-Git-Tag: v0_3_99~106
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=4ace89abf7aa639ebadeff1f4812a59087e87ea4

- removed debug_print, now in Http_getter_debugger
---

diff --git a/helm/http_getter/http_getter_map.ml b/helm/http_getter/http_getter_map.ml
index 26daa21d5..bdaae203a 100644
--- a/helm/http_getter/http_getter_map.ml
+++ b/helm/http_getter/http_getter_map.ml
@@ -24,9 +24,6 @@
  *  http://cs.unibo.it/helm/.
  *)
 
-let debug = true;;
-let debug_print s = if debug then prerr_endline s;;
-
 exception Key_already_in of string;;
 exception Key_not_found of string;;