diff options
Diffstat (limited to 'parsing/lexer.mll')
| -rw-r--r-- | parsing/lexer.mll | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/parsing/lexer.mll b/parsing/lexer.mll index 5f5d36053..72d603f1f 100644 --- a/parsing/lexer.mll +++ b/parsing/lexer.mll @@ -252,6 +252,7 @@ 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 |