diff options
| -rw-r--r-- | src/boot/me/trans.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index 46be9326..97e94aec 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 |