diff options
Diffstat (limited to 'proto/rpki')
| -rw-r--r-- | proto/rpki/config.Y | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proto/rpki/config.Y b/proto/rpki/config.Y index 39fdfd01..a88a29a1 100644 --- a/proto/rpki/config.Y +++ b/proto/rpki/config.Y @@ -38,7 +38,7 @@ CF_KEYWORDS(RPKI, REMOTE, BIRD, PRIVATE, PUBLIC, KEY, TCP, SSH, TRANSPORT, USER, CF_GRAMMAR -CF_ADDTO(proto, rpki_proto) +proto: rpki_proto ; rpki_proto_start: proto_start RPKI { this_proto = proto_config_new(&proto_rpki, $1); |