summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--util/newconfig/config.g4
1 files changed, 0 insertions, 4 deletions
diff --git a/util/newconfig/config.g b/util/newconfig/config.g
index 4a1fe9583e..9b229a21d8 100644
--- a/util/newconfig/config.g
+++ b/util/newconfig/config.g
@@ -1904,10 +1904,6 @@ parser Config:
(stmt<<1>>)*
EOF {{ return 1 }}
- rule cfgfile: (uses<<1>>)*
- (stmt<<1>>)*
- EOF {{ return 1 }}
-
rule usesid<<C>>: ID {{ if (C): usesoption(ID) }}
rule uses<<C>>: USES (usesid<<C>>)+