From 321c7f39a55fb574272cd7c16aa99b9211f375b1 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 14 Jun 2005 11:54:31 +0000
Subject: [PATCH] fix

---
 helm/graphs/tools/drawGraph.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/graphs/tools/drawGraph.ml b/helm/graphs/tools/drawGraph.ml
index 9f86feeb0..c17902fbc 100644
--- a/helm/graphs/tools/drawGraph.ml
+++ b/helm/graphs/tools/drawGraph.ml
@@ -35,7 +35,7 @@ let daemon_name = "Draw Graph";;
 let wget url fname =
   prerr_endline (sprintf "DEBUG: wgetting url '%s'" url);
   let oc = open_out fname in
-  Http_client.http_get_iter (output_string oc) url;
+  Http_user_agent.get_iter (output_string oc) url;
   close_out oc
 ;;
 
-- 
2.39.2