diff options
| -rw-r--r-- | filter/config.Y | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/filter/config.Y b/filter/config.Y index 4dffdc6..0166d27 100644 --- a/filter/config.Y +++ b/filter/config.Y @@ -242,7 +242,7 @@ f_generate_ec(u16 kind, struct f_inst *tk, struct f_inst *tv) } return rv; -}; +} @@ -619,8 +619,8 @@ constant: ; constructor: - '(' term ',' term ')' { $$ = f_generate_dpair($2, $4); }; - | '(' ec_kind ',' term ',' term ')' { $$ = f_generate_ec($2, $4, $6); }; + '(' term ',' term ')' { $$ = f_generate_dpair($2, $4); } + | '(' ec_kind ',' term ',' term ')' { $$ = f_generate_ec($2, $4, $6); } ; |