From 4a9c6888d154aa7e5929278e2be7ce2a6993e46b Mon Sep 17 00:00:00 2001 From: gabotechs Date: Thu, 12 Oct 2023 11:14:45 +0200 Subject: [PATCH] chore: remove unused empty extension [skip ci] --- graphqxl_parser/src/grammar.pest | 1 - 1 file changed, 1 deletion(-) diff --git a/graphqxl_parser/src/grammar.pest b/graphqxl_parser/src/grammar.pest index 5b5c922..54d66da 100644 --- 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" }