diff options
Diffstat (limited to 'src/boot/be/abi.ml')
| -rw-r--r-- | src/boot/be/abi.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/boot/be/abi.ml b/src/boot/be/abi.ml index 347d49fc..5bdf21fa 100644 --- a/src/boot/be/abi.ml +++ b/src/boot/be/abi.ml @@ -41,7 +41,7 @@ let box_gc_header_size = 4;; let box_gc_malloc_return_adjustment = 3;; -let stk_field_valgrind_id = 0 + 1;; +let stk_field_valgrind_id = 0;; let stk_field_limit = stk_field_valgrind_id + 1;; let stk_field_data = stk_field_limit + 1;; @@ -121,7 +121,8 @@ type abi = -> Common.size (* callsz *) -> Common.nabi -> Common.fixup (* grow_task *) - -> unit); + -> bool (* is_obj_fn *) + -> unit); abi_emit_fn_epilogue: (Il.emitter -> unit); |