diff options
Diffstat (limited to 'byterun/gc_ctrl.c')
| -rw-r--r-- | byterun/gc_ctrl.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/byterun/gc_ctrl.c b/byterun/gc_ctrl.c index b262bbd9b2..f31ef1de88 100644 --- a/byterun/gc_ctrl.c +++ b/byterun/gc_ctrl.c @@ -434,6 +434,7 @@ CAMLprim value caml_gc_compaction(value v) caml_finish_major_cycle (); caml_finish_major_cycle (); caml_compact_heap (); + caml_final_do_calls (); return Val_unit; } |