summaryrefslogtreecommitdiff
path: root/proto/ospf
diff options
context:
space:
mode:
authorOndrej Filip <feela@network.cz>2000-06-04 16:17:39 +0000
committerOndrej Filip <feela@network.cz>2000-06-04 16:17:39 +0000
commite7811248685520ceff362b8bc7f090067ca42114 (patch)
treef8382d37c3c6724dd8d9d9e1cd62e31a767114c5 /proto/ospf
parent47f8e0c2169bba2dd209f1c7ed89f1d605d36b3e (diff)
Another clean up.
Diffstat (limited to 'proto/ospf')
-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: