diff options
Diffstat (limited to 'rts')
| -rw-r--r-- | rts/Task.h | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/rts/Task.h b/rts/Task.h index 817a99a543..37832a39d3 100644 --- a/rts/Task.h +++ b/rts/Task.h @@ -324,11 +324,7 @@ INLINE_HEADER TaskId serialiseTaskId (OSThreadId taskID) { // Get a serialisable Id for the Task's OS thread // Needed mainly for logging since the OSThreadId is an opaque type INLINE_HEADER TaskId -serialisableTaskId (Task *task -#if !defined(THREADED_RTS) - STG_UNUSED -#endif - ) +serialisableTaskId (Task *task) { #if defined(THREADED_RTS) return serialiseTaskId(task->id); |