diff options
Diffstat (limited to 'src/boot/me/trans.ml')
| -rw-r--r-- | src/boot/me/trans.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index 5a15eada..1903ecbd 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -3131,7 +3131,6 @@ let trans_visitor (src:Il.cell) (src_ty:Ast.ty) : unit = let dst_ty = slot_ty dst_slot in - assert (src_ty = dst_ty); match (dst_slot.Ast.slot_mode, clone) with (Ast.MODE_alias, CLONE_none) -> mov dst (Il.Cell (alias (Il.Mem (need_mem_cell src)))) |