diff options
Diffstat (limited to 'rts/Task.c')
-rw-r--r-- | rts/Task.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rts/Task.c b/rts/Task.c index e77a030f39..cf406b2abe 100644 --- a/rts/Task.c +++ b/rts/Task.c @@ -347,8 +347,8 @@ taskDoneGC (Task *task, Ticks cpu_time, Ticks elapsed_time) void workerTaskStop (Task *task) { - OSThreadId id; - id = osThreadId(); + DEBUG_ONLY( OSThreadId id ); + DEBUG_ONLY( id = osThreadId() ); ASSERT(task->id == id); ASSERT(myTask() == task); |