diff options
| -rw-r--r-- | rts/Schedule.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/rts/Schedule.c b/rts/Schedule.c index 2dc850c50d..33b7815a1f 100644 --- a/rts/Schedule.c +++ b/rts/Schedule.c @@ -705,8 +705,6 @@ static void schedulePushWork(Capability *cap USED_IF_THREADS, Task *task USED_IF_THREADS) { - /* following code not for PARALLEL_HASKELL. I kept the call general, - future GUM versions might use pushing in a distributed setup */ #if defined(THREADED_RTS) Capability *free_caps[n_capabilities], *cap0; |