diff options
Diffstat (limited to 'parsing/lexer.mll')
| -rw-r--r-- | parsing/lexer.mll | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/parsing/lexer.mll b/parsing/lexer.mll index 652382aa7..9eb85d76b 100644 --- a/parsing/lexer.mll +++ b/parsing/lexer.mll @@ -268,7 +268,6 @@ rule token = parse raise (Error(Keyword_as_label name, Location.curr lexbuf)); LABEL name } | "?" { QUESTION } - | "??" { QUESTIONQUESTION } | "?" lowercase identchar * ':' { let s = Lexing.lexeme lexbuf in let name = String.sub s 1 (String.length s - 2) in |