X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgetter%2Fhttp_getter_misc.ml;h=f7dffd0663b45f9437cf2a1aedcc4a36ab57fed5;hb=7f9e313fe5ae4200f080f481a6b8b795a0618093;hp=45403effa51cfb5ef5f15aeddd35b2c6b0677649;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/getter/http_getter_misc.ml b/helm/software/components/getter/http_getter_misc.ml
index 45403effa..f7dffd066 100644
--- a/helm/software/components/getter/http_getter_misc.ml
+++ b/helm/software/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")