diff options
| -rw-r--r-- | parsing/lexer.ml4 | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/parsing/lexer.ml4 b/parsing/lexer.ml4 index c241ca2842..caae659ec3 100644 --- a/parsing/lexer.ml4 +++ b/parsing/lexer.ml4 @@ -381,11 +381,6 @@ let rec next_token = parser bp | TokIdent id -> (try ("", find_keyword id) with Not_found -> ("IDENT", id)), (bp, ep)) - (* iso 8859-1 accentuated letters *) - | [< ' ('\192'..'\214' | '\216'..'\246' | '\248'..'\255' as c) ; - t = process_chars bp c >] -> - comment_stop bp; - t | [< ' ('0'..'9' as c); len = number (store 0 c) >] ep -> comment_stop bp; (("INT", get_buff len), (bp, ep)) |