diff options
Diffstat (limited to 'rts/Capability.c')
| -rw-r--r-- | rts/Capability.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rts/Capability.c b/rts/Capability.c index 2384262ae9..e384e1eddd 100644 --- a/rts/Capability.c +++ b/rts/Capability.c @@ -671,6 +671,9 @@ shutdownCapability (Capability *cap, Task *task) } // we now have the Capability, its run queue and spare workers // list are both empty. + + // We end up here only in THREADED_RTS + closeMutex(&cap->lock); } /* ---------------------------------------------------------------------------- |