diff options
Diffstat (limited to 'includes/rts/Threads.h')
| -rw-r--r-- | includes/rts/Threads.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/includes/rts/Threads.h b/includes/rts/Threads.h index 60d9bc45a1..2ebc542d05 100644 --- a/includes/rts/Threads.h +++ b/includes/rts/Threads.h @@ -57,6 +57,9 @@ HsBool rtsSupportsBoundThreads (void); // The number of Capabilities extern unsigned int n_capabilities; +// The number of Capabilities that are not disabled +extern nat enabled_capabilities; + #if !IN_STG_CODE extern Capability MainCapability; #endif |