diff options
Diffstat (limited to 'rts/Storage.c')
| -rw-r--r-- | rts/Storage.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/rts/Storage.c b/rts/Storage.c index 3594f7197f..0c9c60e580 100644 --- a/rts/Storage.c +++ b/rts/Storage.c @@ -279,6 +279,10 @@ freeStorage (void) stgFree(generations[g].steps); stgFree(generations); freeAllMBlocks(); +#if defined(THREADED_RTS) + closeMutex(&sm_mutex); + closeMutex(&atomic_modify_mutvar_mutex); +#endif } /* ----------------------------------------------------------------------------- |