X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgetter%2Fhttp_getter_wget.ml;h=571479d78e1c949ff569fb202a1a45d96f4428c4;hb=ddd6560f4e70ec3306d223738a441d5f1dd3eac9;hp=90e60b4048dce55cfe76094f4a2877b41bc87727;hpb=7ca0a000878e864c92d94f77900bc2ca0ac143b9;p=helm.git

diff --git a/helm/software/components/getter/http_getter_wget.ml b/helm/software/components/getter/http_getter_wget.ml
index 90e60b404..571479d78 100644
--- 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