diff --git a/services/web/frontend/js/features/source-editor/lezer-latex/latex.grammar b/services/web/frontend/js/features/source-editor/lezer-latex/latex.grammar index e7b91054a7..97cb2a7ac2 100644 --- a/services/web/frontend/js/features/source-editor/lezer-latex/latex.grammar +++ b/services/web/frontend/js/features/source-editor/lezer-latex/latex.grammar @@ -212,19 +212,6 @@ DefinitionArgument { !argument NewLine? Whitespace* OpenBrace DefinitionFragment CloseBrace } -argument[@isGroup="$Argument"] { - TextArgument - | SectioningArgument - | LabelArgument - | RefArgument - | BibKeyArgument - | PackageArgument - | UrlArgument - | FilePathArgument - | BareFilePathArgument - | DefinitionArgument -} - MacroParameter { "#" ("1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9") }