a wrong exception was raised

diff --git a/helm/ocaml/getter/http_getter.ml b/helm/ocaml/getter/http_getter.ml
index 7695159ee6b0648d922890c80444c11947bb2733..53f4951c7f05e61ee298e66a24bd1cf70e75622c 100644 (file)
--- a/helm/ocaml/getter/http_getter.ml
+++ b/helm/ocaml/getter/http_getter.ml
@@ -163,7 +163,7 @@ let getxml uri =
         Http_getter_storage.filename (uri' ^ xml_suffix)
       with Http_getter_storage.Resource_not_found _ as exn ->
         if uri <> uri' then Http_getter_storage.filename (uri ^ xml_suffix)
-        else raise exn
+        else raise (Key_not_found uri)
     with Http_getter_storage.Resource_not_found _ -> raise (Key_not_found uri))
   end