]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/getter/http_getter_misc.ml
- hExtlib: added debugging information for split_nth
[helm.git] / helm / software / components / getter / http_getter_misc.ml
index 45403effa51cfb5ef5f15aeddd35b2c6b0677649..f7dffd0663b45f9437cf2a1aedcc4a36ab57fed5 100644 (file)
@@ -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")