1 files changed, 1 insertions, 0 deletions
diff --git a/rts/Schedule.c b/rts/Schedule.c
index b9b4325c0f..49e25be329 100644
--- a/rts/Schedule.c
+++ b/rts/Schedule.c
@@ -2584,6 +2584,7 @@ exitScheduler( void )
 	boundTaskExiting(task);
 	stopTaskManager();
     }
+    closeMutex(&sched_mutex);
 #endif
 }