diff options
| -rw-r--r-- | src/boot/me/trans.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index 48bf3d90..e6662ed6 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -364,7 +364,7 @@ let trans_visitor match src with Il.Cell (Il.Mem ta) -> ta | Il.Cell (Il.Reg (_, t)) -> do_spill src t - | Il.Imm _ -> do_spill src (Il.ValTy word_bits) + | Il.Imm (_,tm) -> do_spill src (Il.ValTy (Il.bits_of_ty_mach tm)) | Il.ImmPtr (f, rty) -> do_spill (Il.Cell (crate_rel_to_ptr (crate_rel_imm f) rty)) |