diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index 46be9326ef4..97e94aec422 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -1723,11 +1723,13 @@ let trans_visitor do emit (Il.Push (Il.Cell args.(i))) done; + emit (Il.Push zero); emit (Il.Push (Il.Cell abi.Abi.abi_tp_cell)); emit (Il.Push dst); call_code code; pop (); pop (); + pop (); Array.iter (fun _ -> pop()) args; in match dst with