diff options
| -rw-r--r-- | src/boot/me/trans.ml | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index 20bc1d7a..1b570ea2 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -1339,8 +1339,15 @@ let trans_visitor | _ -> fix (get_free_glue t (type_has_state cx t)); end; - fix (get_sever_glue t); - fix (get_mark_glue t); + + if cx.ctxt_sess.Session.sess_minimal + then Asm.WORD (word_ty_mach, Asm.IMM 0L) + else fix (get_sever_glue t); + + if cx.ctxt_sess.Session.sess_minimal + then Asm.WORD (word_ty_mach, Asm.IMM 0L) + else fix (get_mark_glue t); + (* Include any obj-dtor, if this is an obj and has one. *) begin match idopt with |