]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_misc.ml
- fixed dtd_base_urls implementation
[helm.git] / helm / ocaml / getter / http_getter_misc.ml
index 6f612cc30aead385867a3965bf9e45991e271701..6db793369acfd10f747fe9728a5f02d3565821d4 100644 (file)
@@ -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