X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaMisc.ml;h=bb745f7030f968817f544fa4a49d1828eba4795e;hb=863eeec8251791046ea6ea487286eb1434520725;hp=266aec526920ad8d96bda49f7cca4cd0d29a2861;hpb=aef659e5893b4bf8c8544d0c54714e10f5b5493a;p=helm.git

diff --git a/helm/software/matita/matitaMisc.ml b/helm/software/matita/matitaMisc.ml
index 266aec526..bb745f703 100644
--- a/helm/software/matita/matitaMisc.ml
+++ b/helm/software/matita/matitaMisc.ml
@@ -30,7 +30,10 @@ open Printf
 (** Functions "imported" from Http_getter_misc *)
 
 let normalize_dir = Http_getter_misc.normalize_dir
-let strip_suffix = Http_getter_misc.strip_suffix
+let strip_suffix ~suffix s = 
+  try 
+    Http_getter_misc.strip_suffix ~suffix s
+  with Invalid_argument _ -> s
 
 let absolute_path file =
   if file.[0] = '/' then file else Unix.getcwd () ^ "/" ^ file