diff options
Diffstat (limited to '')
-rw-r--r-- | lib/lexer.mll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/lexer.mll b/lib/lexer.mll index e2f6469..b4e26d8 100644 --- a/lib/lexer.mll +++ b/lib/lexer.mll @@ -11,7 +11,7 @@ let float = digit* frac? exp? let int = digit+ let white = [' ' '\t']+ let newline = '\r' | '\n' | "\r\n" -let id = ['a'-'z' 'A'-'Z' '-']* +let id = ['a'-'z' 'A'-'Z' '-' '_']* let newline = '\r' | '\n' | "\r\n" let many_newline = newline+ |