diff options
Diffstat (limited to 'src/boot/be/abi.ml')
| -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 8084c7cf..975ff032 100644 --- a/src/boot/be/abi.ml +++ b/src/boot/be/abi.ml @@ -149,7 +149,7 @@ type abi = -> unit); abi_emit_native_call_in_thunk: (Il.emitter - -> Il.cell (* ret *) + -> Il.cell option (* ret *) -> Common.nabi -> Il.operand (* callee *) -> Il.operand array (* args *) |