X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FStable.c;h=813c6c8b47a904c45fd759ff0af0b53283164a20;hb=9cbee1b3381d4eac1f54e9f0b4c333e6ead3a4cf;hp=2c4157b4313b9d7f2ff533d7af5935e9cd3b7551;hpb=f9e1c2af8fdd112019a657e66b0cd685d8df66f6;p=ghc-hetmet.git

diff --git a/rts/Stable.c b/rts/Stable.c
index 2c4157b..813c6c8 100644
--- a/rts/Stable.c
+++ b/rts/Stable.c
@@ -169,6 +169,9 @@ exitStablePtrTable(void)
     stgFree(stable_ptr_table);
   stable_ptr_table = NULL;
   SPT_size = 0;
+#ifdef THREADED_RTS
+  closeMutex(&stable_mutex);
+#endif
 }
 
 /*