Remove TOKEN_NUMBER (unused)

Some maps use #xx to indicate an identifier, so remove this token to avoid errors
This commit is contained in:
smallmodel 2024-12-08 18:24:33 +01:00 committed by GitHub
parent f719b87e69
commit a08a9a4f10
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 0 additions and 2 deletions

View file

@ -103,7 +103,6 @@ int success_pos;
%left TOKEN_DOUBLE_COLON
%left TOKEN_SEMICOLON
%right TOKEN_DOLLAR
%left TOKEN_NUMBER
%token TOKEN_INCREMENT TOKEN_DECREMENT TOKEN_PERIOD

View file

@ -301,7 +301,6 @@ varname [a-zA-Z0-9_\"\$]+
"." { YYLEX( TOKEN_PERIOD ); }
"," { YYLEX( TOKEN_COMMA ); }
"#" { YYLEX( TOKEN_NUMBER ); }
"NULL" { YYLEX( TOKEN_NULL ); }
"NIL" { YYLEX( TOKEN_NIL ); }