diff options
Diffstat (limited to 'src/boot/be/abi.ml')
| -rw-r--r-- | src/boot/be/abi.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/boot/be/abi.ml b/src/boot/be/abi.ml index 9f2e819c..035d1f05 100644 --- a/src/boot/be/abi.ml +++ b/src/boot/be/abi.ml @@ -189,6 +189,7 @@ type abi = abi_tp_cell: Il.cell; abi_implicit_args_sz: int64; abi_frame_base_sz: int64; + abi_callee_saves_sz: int64; abi_frame_info_sz: int64; abi_spill_slot: (Il.spill -> Il.mem); } |