diff options
| author | Jan Maria Matejka <mq@ucw.cz> | 2018-06-26 14:29:03 +0200 |
|---|---|---|
| committer | Jan Maria Matejka <mq@ucw.cz> | 2018-06-26 14:29:03 +0200 |
| commit | f851f0d7e30cbd1e2ba20a5bf06a584acc136828 (patch) | |
| tree | d9f5b0fb7df29698ed34821d37486e55d4061ace /proto/rpki/config.Y | |
| parent | 1771f70d7473b8c8e0c6bd47d5c35cc5fbe7eb19 (diff) | |
Config: Dropping CF_ADDTO.
Diffstat (limited to 'proto/rpki/config.Y')
| -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); |