summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--proto/ospf/config.Y7
1 files changed, 2 insertions, 5 deletions
diff --git a/proto/ospf/config.Y b/proto/ospf/config.Y
index 56729715..c5d1d9c7 100644
--- a/proto/ospf/config.Y
+++ b/proto/ospf/config.Y
@@ -53,11 +53,8 @@ ospf_area_start: AREA idval '{' {
}
;
-ospf_area:
- | ospf_area_start ospf_area_list
-;
-
-ospf_area_list: /*EMPTY*/ | ospf_area_opts '}'
+ospf_area: /* EMPTY */
+ | ospf_area_start ospf_area_opts '}'
;
ospf_area_opts: