diff options
Diffstat (limited to 'rts/Task.c')
| -rw-r--r-- | rts/Task.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/rts/Task.c b/rts/Task.c index 9e8214899c..d72d8a9085 100644 --- a/rts/Task.c +++ b/rts/Task.c @@ -165,7 +165,7 @@ static Task* newTask (rtsBool worker) { #if defined(THREADED_RTS) - Ticks currentElapsedTime, currentUserTime; + Time currentElapsedTime, currentUserTime; #endif Task *task; @@ -329,7 +329,7 @@ void taskTimeStamp (Task *task USED_IF_THREADS) { #if defined(THREADED_RTS) - Ticks currentElapsedTime, currentUserTime; + Time currentElapsedTime, currentUserTime; currentUserTime = getThreadCPUTime(); currentElapsedTime = getProcessElapsedTime(); @@ -347,7 +347,7 @@ taskTimeStamp (Task *task USED_IF_THREADS) } void -taskDoneGC (Task *task, Ticks cpu_time, Ticks elapsed_time) +taskDoneGC (Task *task, Time cpu_time, Time elapsed_time) { task->gc_time += cpu_time; task->gc_etime += elapsed_time; |