RPKI: remove old code from grammar

diff --git a/proto/rpki/config.Y b/proto/rpki/config.Y
index f1444e46c1334de45294b4b8f7c871fdda04e77e..c76a32f1373205502d34234bbf4f572cae366bb9 100644 (file)
--- a/proto/rpki/config.Y
+++ b/proto/rpki/config.Y
@@ -36,25 +36,18 @@ proto_start RPKI {
 }
 ;
 
-rpki_proto_finish:
-{
-//  if (RPKI_CFG->roa_table_cf == NULL)
-//    cf_error("For the RPKI protocol must be specified a roa table");
-};
-
 rpki_proto_opts:
-/* empty */
-| rpki_proto_opts rpki_proto_item ';'
-;
+   /* empty */
+ | rpki_proto_opts rpki_proto_item ';'
+ ;
 
 rpki_proto_item:
-proto_item
-| CACHE rpki_cache
-/* | ROA TABLE roa_table_cf { RPKI_CFG->roa_table_cf = $3; } */
-;
+   proto_item
+ | CACHE rpki_cache
+ ;
 
 rpki_cache:
-rpki_cache_init rpki_cache_addr rpki_optional_cache_opts rpki_cache_finish {
+rpki_cache_init rpki_cache_addr rpki_optional_cache_opts {
   add_tail(&RPKI_CFG->cache_cfg_list, &this_rpki_cache_cfg->n);
 }
 ;