diff options
Diffstat (limited to 'src/boot/me/walk.ml')
| -rw-r--r-- | src/boot/me/walk.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/me/walk.ml b/src/boot/me/walk.ml index 03577c80..d3fdc9b4 100644 --- a/src/boot/me/walk.ml +++ b/src/boot/me/walk.ml @@ -517,7 +517,7 @@ and walk_stmt | Ast.STMT_alt_tag { Ast.alt_tag_lval = lval; Ast.alt_tag_arms = arms } -> walk_lval v lval; - let walk_arm { node = (pat, block); _ } = + let walk_arm { node = (pat, block); id=_ } = walk_pat v pat; walk_block v block in |