diff options
author | Chimrod <> | 2023-09-25 10:27:20 +0200 |
---|---|---|
committer | Chimrod <> | 2023-09-25 10:27:20 +0200 |
commit | b1c31318638903c9c2b89a6803945e3ce8dcd8e3 (patch) | |
tree | 58c2cd46c5a15ca56beeff68937bce67d369c441 | |
parent | 6827f5ddc2a6636d26660de43024aa5742d99d03 (diff) |
Correction for the keyword
-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 0288983..7d5b867 100644 --- a/lib/lexer.mll +++ b/lib/lexer.mll @@ -193,7 +193,7 @@ ; "UNSELECT", KEYWORD "UNSELECT" ; "USEHTML", IDENT "USEHTML" ; "USERCOM", IDENT "USERCOM" - ; "$USERCOM", IDENT "USERCOM" + ; "$USERCOM", IDENT "$USERCOM" ; "USER_TEXT", IDENT "USER_TEXT" ; "$USER_TEXT", IDENT "USER_TEXT" ; "USRTXT", IDENT "USER_TEXT" |