diff options
Diffstat (limited to 'includes/rts/Threads.h')
| -rw-r--r-- | includes/rts/Threads.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/includes/rts/Threads.h b/includes/rts/Threads.h index fc8ae6e089..67d01db7d4 100644 --- a/includes/rts/Threads.h +++ b/includes/rts/Threads.h @@ -62,7 +62,7 @@ HsBool rtsSupportsBoundThreads (void); extern unsigned int n_capabilities; // The number of Capabilities that are not disabled -extern nat enabled_capabilities; +extern uint32_t enabled_capabilities; #if !IN_STG_CODE extern Capability MainCapability; @@ -72,6 +72,6 @@ extern Capability MainCapability; // Change the number of capabilities (only supports increasing the // current value at the moment). // -extern void setNumCapabilities (nat new_); +extern void setNumCapabilities (uint32_t new_); #endif /* RTS_THREADS_H */ |