0
0
mirror of https://gitlab.nic.cz/labs/bird.git synced 2024-12-22 09:41:54 +00:00

Another clean up.

This commit is contained in:
Ondrej Filip 2000-06-04 16:17:39 +00:00
parent 47f8e0c216
commit e781124868

View File

@ -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: