diff options
Diffstat (limited to 'rts/Stable.c')
| -rw-r--r-- | rts/Stable.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rts/Stable.c b/rts/Stable.c index 2c4157b431..813c6c8b47 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 } /* |