Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit 49ab7af2 authored by bguillaum's avatar bguillaum
Browse files

Fix bug "Invalid argument Str.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/semagramme/libcaml-grew/trunk@8635 7838e531-6607-4d57-9587-6c381814729c
parent 255cf00f
......@@ -84,7 +84,8 @@ module String_ = struct
(* if the [re] ends with some text jump to the end and test for the text *)
| [Str.Delim "*"; Str.Text t] ->
Str.string_match (Str.regexp_string t) s (len - (String.length t))
(String.length t <= String.length s) &&
(Str.string_match (Str.regexp_string t) s (len - (String.length t)))
(* if the [re] required for some text [t],
we consider the first occurence which is more general than other occurences *)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment