diff options
Diffstat (limited to 'src/boot/me/trans.ml')
| -rw-r--r-- | src/boot/me/trans.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index 3d23a945..02b8e3f7 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -3761,8 +3761,8 @@ let trans_visitor Ast.PAT_lit lit -> trans_compare Il.JNE (trans_lit lit) (Il.Cell src_cell) - | Ast.PAT_tag (tag_namei, pats) -> - let tag_name = tag_namei.node in + | Ast.PAT_tag (lval, pats) -> + let tag_name = tag_ctor_name_to_tag_name (lval_to_name lval) in let ty_tag = match slot_ty src_slot with Ast.TY_tag tag_ty -> tag_ty |