diff options
| -rw-r--r-- | src/parse.y | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/parse.y b/src/parse.y index 24cc3a9fe..633d92ad3 100644 --- a/src/parse.y +++ b/src/parse.y @@ -2438,12 +2438,10 @@ opt_block_param : none block_param_def : '|' opt_bv_decl '|' { - local_add_f(p, 0); $$ = 0; } | tOROP { - local_add_f(p, 0); $$ = 0; } | '|' block_param opt_bv_decl '|' |