From 2e3fa5bd68677762c619d83dfdf1a83ba7f0e749 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Fri, 25 Jun 2010 15:43:03 -0700
Subject: [PATCH] Return at end of GC glue.

---
 src/boot/be/x86.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/boot/be/x86.ml b/src/boot/be/x86.ml
index 47d08169720..aa0ec2c767c 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;
 ;;