chore: remove unused empty extension [skip ci]

gabotechs · Oct 12, 2023 · 4a9c688 · 4a9c688
1 parent 73ec735
commit 4a9c688
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/graphqxl_parser/src/grammar.pest b/graphqxl_parser/src/grammar.pest
@@ -25,7 +25,6 @@ def = _{
 
 schema_def =       { description? ~ "schema" ~ directive* ~ schema_selection_set }
 schema_ext =       { "extend" ~     "schema" ~ directive* ~ schema_selection_set? }
-schema_empty_ext = { "extend" ~     "schema" ~ directive* }
     schema_selection_set = { "{" ~ schema_field+ ~ "}"}
     schema_field = { schema_key ~ ":" ~ identifier }
     schema_key = @{ "query" | "mutation" | "subscription" }