From dcced099876423bef3c236df1b14c04fab3253a7 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sat, 28 Jun 2008 19:05:45 +0000 Subject: [PATCH] removed unused field svn: r10493 --- collects/drscheme/private/rep.ss | 1 - 1 file changed, 1 deletion(-) diff --git a/collects/drscheme/private/rep.ss b/collects/drscheme/private/rep.ss index 184b6afa94..f15bdace0d 100644 --- a/collects/drscheme/private/rep.ss +++ b/collects/drscheme/private/rep.ss @@ -1168,7 +1168,6 @@ TODO (cleanup-sucessful 'not-yet-cleanup-sucessful) (cleanup-semaphore 'not-yet-cleanup-semaphore) - (thread-grace 'not-yet-thread-grace) (thread-killed 'not-yet-thread-killed)) (define/private (initialize-killed-thread) ; =Kernel= (when (thread? thread-killed)