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/pipe | |
parent | 1771f70d7473b8c8e0c6bd47d5c35cc5fbe7eb19 (diff) |
Config: Dropping CF_ADDTO.
Diffstat (limited to 'proto/pipe')
-rw-r--r-- | proto/pipe/config.Y | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proto/pipe/config.Y b/proto/pipe/config.Y index b3c332be..18e1d0fc 100644 --- a/proto/pipe/config.Y +++ b/proto/pipe/config.Y @@ -20,7 +20,7 @@ CF_KEYWORDS(PIPE, PEER, TABLE) CF_GRAMMAR -CF_ADDTO(proto, pipe_proto '}' { this_channel = NULL; } ) +proto: pipe_proto '}' { this_channel = NULL; } ; pipe_proto_start: proto_start PIPE { |