diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/boot/be/x86.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/boot/be/x86.ml b/src/boot/be/x86.ml index 47d08169..aa0ec2c7 100644 --- a/src/boot/be/x86.ml +++ b/src/boot/be/x86.ml @@ -893,6 +893,7 @@ let gc_glue emit (Il.jmp Il.JMP (codefix repeat_jmp_fix)); (* loop *) mark exit_jmp_fix; + emit Il.Ret; ;; |