diff options
Diffstat (limited to 'src/boot/be')
| -rw-r--r-- | src/boot/be/abi.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/be/abi.ml b/src/boot/be/abi.ml index 2bb10870..c16fec36 100644 --- a/src/boot/be/abi.ml +++ b/src/boot/be/abi.ml @@ -103,7 +103,7 @@ let iterator_args_elt_outer_frame_ptr = 1;; let indirect_args_elt_closure = 0;; (* Current worst case is by vec grow glue *) -let worst_case_glue_call_args = 7;; +let worst_case_glue_call_args = 8;; type abi = { |