diff options
| -rw-r--r-- | util/newconfig/config.g | 4 |
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>>)+ |