diff options
Diffstat (limited to 'src/boot/be/macho.ml')
| -rw-r--r-- | src/boot/be/macho.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/be/macho.ml b/src/boot/be/macho.ml index c2970e78..da3c8550 100644 --- a/src/boot/be/macho.ml +++ b/src/boot/be/macho.ml @@ -961,7 +961,7 @@ let emit_file let edx_pointee = Il.Mem ((Il.RegIn (edx, None)), Il.ScalarTy (Il.AddrTy Il.OpaqueTy)) in - Il.emit_full e (Some start_fixup) [] Il.Dead; + Il.emit_full e (Some start_fixup) Il.Dead; (* zero marks the bottom of the frame chain. *) Il.emit e (Il.Push (X86.imm (Asm.IMM 0L))); |