diff --git a/src/e_regexp.ml b/src/e_regexp.ml index 779f7f28d636e23ab0733df9797e9be879943a56..4f6c43f4e9007f42ef117097e9581eb78cb17b1d 100644 --- a/src/e_regexp.ml +++ b/src/e_regexp.ml @@ -105,11 +105,11 @@ let list_regexp : (regexp * (string -> token option)) list = fun s -> None); (Cat(keyword_regexp "/*", Cat( - Star (Alt ( + Cat (Star (Alt ( char_range (List.filter (fun c -> c <> '*') alphabet), Cat (Star(char_regexp '*'), plus(char_range (List.filter (fun c -> c <> '/' && c <> '*') alphabet))) - )), + )), Star (char_range ['*'])), keyword_regexp "*/")), fun s -> None); (Cat (char_regexp '\'',