X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_misc.ml;h=6db793369acfd10f747fe9728a5f02d3565821d4;hb=4cc248707314a05902ce8d70ceea1ac0541f9976;hp=6f612cc30aead385867a3965bf9e45991e271701;hpb=954bacdd1f1ea6a649f3bf6cd5fab4d1222f9f8f;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_misc.ml b/helm/ocaml/getter/http_getter_misc.ml
index 6f612cc30..6db793369 100644
--- a/helm/ocaml/getter/http_getter_misc.ml
+++ b/helm/ocaml/getter/http_getter_misc.ml
@@ -198,7 +198,7 @@ let http_get url =
     try
       Some (Http_client.http_get url)
     with e ->
-      prerr_endline (sprintf
+      debug_print (sprintf
         "Warning: Http_client failed on url %s with exception: %s"
         url (Printexc.to_string e));
       None