Added initial support for inversion principles in Matita NG.

[helm.git] / helm / software / components / getter / http_getter_wget.ml

diff --git a/helm/software/components/getter/http_getter_wget.ml b/helm/software/components/getter/http_getter_wget.ml
index 90e60b4048dce55cfe76094f4a2877b41bc87727..571479d78e1c949ff569fb202a1a45d96f4428c4 100644 (file)
--- a/helm/software/components/getter/http_getter_wget.ml
+++ b/helm/software/components/getter/http_getter_wget.ml
@@ -68,5 +68,6 @@ let exists url =
     true
   with
      Http_user_agent.Http_error _ -> false
-   | Not_found -> prerr_endline "An object has metadata but no XML. This is an internal bug of ocaml-http: Zack, please fix it!"; assert false
+   | Not_found -> prerr_endline (Printf.sprintf "An object %s has metadata but no XML. This is an internal bug of ocaml-http: Zack, please fix it!" 
+                  url); assert false