X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fgetter%2Fhttp_getter_misc.ml;h=f7dffd0663b45f9437cf2a1aedcc4a36ab57fed5;hb=55891f80b4f14251dfd5c9111f22f5edcbde2e11;hp=45403effa51cfb5ef5f15aeddd35b2c6b0677649;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/getter/http_getter_misc.ml b/components/getter/http_getter_misc.ml
index 45403effa..f7dffd066 100644
--- a/components/getter/http_getter_misc.ml
+++ b/components/getter/http_getter_misc.ml
@@ -279,7 +279,7 @@ let strip_suffix ~suffix s =
     let s_len = String.length s in
     let suffix_len = String.length suffix in
     let suffix_sub = String.sub s (s_len - suffix_len) suffix_len in
-    if suffix_sub <> suffix then raise (Invalid_argument "");
+    if suffix_sub <> suffix then raise (Invalid_argument "Http_getter_misc.strip_suffix");
     String.sub s 0 (s_len - suffix_len)
   with Invalid_argument _ ->
     raise (Invalid_argument "Http_getter_misc.strip_suffix")