From f24b406604bc64ff15ab57942d995ffcb5f2dc08 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Thu, 1 Apr 2010 10:58:53 +0000 Subject: [PATCH] remove out of date comment --- rts/Schedule.c | 3 --- 1 file changed, 3 deletions(-) diff --git a/rts/Schedule.c b/rts/Schedule.c index e3d025a..f3982b1 100644 --- a/rts/Schedule.c +++ b/rts/Schedule.c @@ -1309,9 +1309,6 @@ scheduleHandleThreadBlocked( StgTSO *t // ASSERT(t->why_blocked != NotBlocked); // Not true: for example, - // - in THREADED_RTS, the thread may already have been woken - // up by another Capability. This actually happens: try - // conc023 +RTS -N2. // - the thread may have woken itself up already, because // threadPaused() might have raised a blocked throwTo // exception, see maybePerformBlockedException(). -- 1.7.10.4