diff options
| -rw-r--r-- | debugger/lexer.mll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debugger/lexer.mll b/debugger/lexer.mll index bd3234698..b6a395ea8 100644 --- a/debugger/lexer.mll +++ b/debugger/lexer.mll @@ -51,7 +51,7 @@ and lexeme = (* Read a lexeme *) parse [' ' '\t'] + { lexeme lexbuf } - | ['a'-'z' '\223'-'\246' '\248'-'\255' ] + | ['a'-'z' '\223'-'\246' '\248'-'\255' '_'] (['A'-'Z' 'a'-'z' '_' '\192'-'\214' '\216'-'\246' '\248'-'\255' '\'' '0'-'9' ]) * { LIDENT(Lexing.lexeme lexbuf) } |