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

diff --git a/rts/Stable.c b/rts/Stable.c
index 2c4157b..e5e8dfb 100644
--- a/rts/Stable.c
+++ b/rts/Stable.c
@@ -19,6 +19,7 @@
 #include "RtsFlags.h"
 #include "OSThreads.h"
 #include "Trace.h"
+#include "Stable.h"
 
 /* Comment from ADR's implementation in old RTS:
 
@@ -169,6 +170,9 @@ exitStablePtrTable(void)
     stgFree(stable_ptr_table);
   stable_ptr_table = NULL;
   SPT_size = 0;
+#ifdef THREADED_RTS
+  closeMutex(&stable_mutex);
+#endif
 }
 
 /*