From 4ace89abf7aa639ebadeff1f4812a59087e87ea4 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 27 Dec 2002 10:46:53 +0000 Subject: [PATCH] - removed debug_print, now in Http_getter_debugger --- helm/http_getter/http_getter_map.ml | 3 --- 1 file changed, 3 deletions(-) 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;; -- 2.39.2