X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FSchedule.c;h=49e25be3292088327c4ecd1eed0629cb29ffe01f;hb=afdbaf48894b74eee5b6cc5c17c477d9e517f389;hp=b9b4325c0f17e2d556ee31730fcf6b3ec53ca5a2;hpb=f9e1c2af8fdd112019a657e66b0cd685d8df66f6;p=ghc-hetmet.git

diff --git a/rts/Schedule.c b/rts/Schedule.c
index b9b4325..49e25be 100644
--- a/rts/Schedule.c
+++ b/rts/Schedule.c
@@ -2584,6 +2584,7 @@ exitScheduler( void )
 	boundTaskExiting(task);
 	stopTaskManager();
     }
+    closeMutex(&sched_mutex);
 #endif
 }