From c56a729ff1d9467d612bf522614519ac7b97f798 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Fri, 25 Jun 2010 17:32:35 -0700
Subject: [PATCH] Remove obsolete comment.

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

diff --git a/src/boot/be/x86.ml b/src/boot/be/x86.ml
index 9d2166583fe..dfd659d96ad 100644
--- a/src/boot/be/x86.ml
+++ b/src/boot/be/x86.ml
@@ -890,7 +890,6 @@ let gc_glue
             (codefix repeat_jmp_fix));          (* loop                   *)
     mark exit_jmp_fix;
 
-    (* For now, stop after marking; sweep is still buggy. *)
     pop (rc eax);
     restore_callee_saves e;
     Il.emit e Il.Ret;