diff options
Diffstat (limited to 'src')
| -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 911c2acd..182f4f5e 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -2891,8 +2891,8 @@ let trans_visitor match slot_mem_ctrl slot with MEM_gc -> "MEM_gc" | MEM_rc_struct -> "MEM_rc_struct" - | MEM_rc_opaque -> "MEM_rc_struct" - | MEM_interior -> "MEM_rc_struct" + | MEM_rc_opaque -> "MEM_rc_opaque" + | MEM_interior -> "MEM_interior" in let slotstr = Fmt.fmt_to_str Ast.fmt_slot slot in let str = step ^ " " ^ mctrl_str ^ " " ^ slotstr in |