diff options
Diffstat (limited to 'rts/Capability.h')
| -rw-r--r-- | rts/Capability.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/Capability.h b/rts/Capability.h index dedd6351b6..c50fe7ffab 100644 --- a/rts/Capability.h +++ b/rts/Capability.h @@ -217,7 +217,7 @@ void prodAllCapabilities (void); // Waits for a capability to drain of runnable threads and workers, // and then acquires it. Used at shutdown time. // -void shutdownCapability (Capability *cap, Task *task); +void shutdownCapability (Capability *cap, Task *task, rtsBool wait_foreign); // Attempt to gain control of a Capability if it is free. // |