X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fgraphs%2Ftools%2FdrawGraph.ml;h=c17902fbc551dd85e92f0a4a5315fee500d978f7;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=9f86feeb074de7700501acc7196f168d5b7fc276;hpb=81814dffe8a7bdc7e537b36742dcea44a51fd8ad;p=helm.git

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
 ;;