diff options
| -rw-r--r-- | ghc/rts/Task.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ghc/rts/Task.c b/ghc/rts/Task.c index 06eab698ee..8e0a2798f9 100644 --- a/ghc/rts/Task.c +++ b/ghc/rts/Task.c @@ -82,7 +82,7 @@ stopTaskManager (void) prodWorker(); yieldThread(); } - errorBelch("%d tasks still running, exiting anyway", tasksRunning); + IF_DEBUG(scheduler, sched_belch("%d tasks still running, exiting anyway", tasksRunning)); /* OLD CODE follows: |