diff options
Diffstat (limited to 'includes/rts/Threads.h')
| -rw-r--r-- | includes/rts/Threads.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/includes/rts/Threads.h b/includes/rts/Threads.h index da6f7a4add..941f6daf65 100644 --- a/includes/rts/Threads.h +++ b/includes/rts/Threads.h @@ -19,7 +19,7 @@ #include <sys/types.h> #endif -// +// // Creating threads // StgTSO *createThread (Capability *cap, W_ stack_size); @@ -29,11 +29,11 @@ void scheduleWaitThread (/* in */ StgTSO *tso, /* inout */ Capability **cap); StgTSO *createGenThread (Capability *cap, W_ stack_size, - StgClosure *closure); + StgClosure *closure); StgTSO *createIOThread (Capability *cap, W_ stack_size, - StgClosure *closure); + StgClosure *closure); StgTSO *createStrictIOThread (Capability *cap, W_ stack_size, - StgClosure *closure); + StgClosure *closure); // Suspending/resuming threads around foreign calls void * suspendThread (StgRegTable *, rtsBool interruptible); |