lint error

This commit is contained in:
Tab Atkins Jr. 2025-06-04 13:47:41 -07:00 committed by GitHub
parent 5d82f60407
commit 43d8a5dbf3
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -972,7 +972,7 @@ string := identifier-string | quoted-string | raw-string ¶
identifier-string := identifier-string :=
(unambiguous-ident | signed-ident | dotted-ident) (unambiguous-ident | signed-ident | dotted-ident)
- disallowed-keyword-identifiers - disallowed-keyword-identifiers
unambiguous-ident := unambiguous-ident :=
(identifier-char - digit - sign - '.') identifier-char* (identifier-char - digit - sign - '.') identifier-char*
signed-ident := signed-ident :=