diff options
Diffstat (limited to 'src/parser2.mly')
| -rw-r--r-- | src/parser2.mly | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser2.mly b/src/parser2.mly index 500344ad..59c7f1c4 100644 --- a/src/parser2.mly +++ b/src/parser2.mly @@ -1001,8 +1001,8 @@ exp_list: funcl_patexp: | pat Eq exp { mk_pexp (Pat_exp ($1, $3)) $startpos $endpos } - | pat If_ exp0 Eq exp - { mk_pexp (Pat_when ($1, $3, $5)) $startpos $endpos } + | Lparen pat If_ exp Rparen Eq exp + { mk_pexp (Pat_when ($2, $4, $7)) $startpos $endpos } funcl: | id funcl_patexp |