From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 23 Sep 2005 12:47:38 +0000 (+0000)
Subject: a wrong exception was raised
X-Git-Tag: LAST_BEFORE_NEW~43
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8cdabf1424e99c55d9a490d7737e7e7797e9d978;p=helm.git

a wrong exception was raised
---

diff --git a/helm/ocaml/getter/http_getter.ml b/helm/ocaml/getter/http_getter.ml
index 7695159ee..53f4951c7 100644
--- 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