X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FStable.c;fp=rts%2FStable.c;h=813c6c8b47a904c45fd759ff0af0b53283164a20;hb=88b35c172f9434fd98b700f706074d142914a8bb;hp=2c4157b4313b9d7f2ff533d7af5935e9cd3b7551;hpb=52589e05f86d593bc3e6ea3f1a0b8f6ceae94fe6;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
 }
 
 /*