Another clean up.

diff --git a/proto/ospf/config.Y b/proto/ospf/config.Y
index 567297155cb43c36d31a0072bfc51a470299d722..c5d1d9c74cfa6f8f9e8a4ab06678f6f1c3cf4345 100644 (file)
--- 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: