Return at end of GC glue.

2010-06-25 15:43:03 -07:00 · 2010-06-25 15:43:03 -07:00 · 2e3fa5bd68
parent a9c639ec8a
commit 2e3fa5bd68
1 changed files with 1 additions and 0 deletions
--- 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;
 ;;