Remove obsolete comment.
This commit is contained in:
parent
eb7807c4fe
commit
c56a729ff1
@ -890,7 +890,6 @@ let gc_glue
|
|||||||
(codefix repeat_jmp_fix)); (* loop *)
|
(codefix repeat_jmp_fix)); (* loop *)
|
||||||
mark exit_jmp_fix;
|
mark exit_jmp_fix;
|
||||||
|
|
||||||
(* For now, stop after marking; sweep is still buggy. *)
|
|
||||||
pop (rc eax);
|
pop (rc eax);
|
||||||
restore_callee_saves e;
|
restore_callee_saves e;
|
||||||
Il.emit e Il.Ret;
|
Il.emit e Il.Ret;
|
||||||
|
Loading…
Reference in New Issue
Block a user