1 files changed, 4 insertions, 0 deletions
diff --git a/rts/Task.c b/rts/Task.c
index 3be5b283d7..a03ed87651 100644
--- a/rts/Task.c
+++ b/rts/Task.c
@@ -77,6 +77,10 @@ stopTaskManager (void)
     for (task = task_free_list; task != NULL; task = next) {
         next = task->next;
         stgFree(task);
+#if defined(THREADED_RTS)
+        closeCondition(&task->cond);
+        closeMutex(&task->lock);
+#endif
     }
     task_free_list = NULL;
     RELEASE_LOCK(&sched_mutex);