From bc9bb05c8f812e640f2e90aa65513ab10787f9bd Mon Sep 17 00:00:00 2001
From: Mathias Jakobsen <mathias.jakobsen@overleaf.com>
Date: Mon, 24 Jun 2024 09:20:25 +0100
Subject: [PATCH] Merge pull request #19033 from overleaf/mj-lezer-unused-rule

[lezer] Remove unused rule

GitOrigin-RevId: 53402a3004d0ca781b29f16eaf4e7eae086450d3
---
 .../source-editor/lezer-latex/latex.grammar         | 13 -------------
 1 file changed, 13 deletions(-)

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")
 }