diff options
| -rw-r--r-- | rts/Task.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/Task.c b/rts/Task.c index 6c814886ba..3380cfdb08 100644 --- a/rts/Task.c +++ b/rts/Task.c @@ -399,7 +399,7 @@ workerTaskStop (Task *task) // We don't replace this function with serialisableTaskId, // because debug prints as pointers are more readable than random // 64-bit intergers (especially on 32-bit architectures) -// and because we want to use this function also for non-treaded RTS. +// and because we want to use this function also for non-threaded RTS. static void *taskId(Task *task) { #ifdef THREADED_RTS |