diff options
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/g-timer.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/g-timer.boot b/src/interp/g-timer.boot index 8b00c522..09a272e7 100644 --- a/src/interp/g-timer.boot +++ b/src/interp/g-timer.boot @@ -224,7 +224,7 @@ computeElapsedTime() == currentGCTime:= elapsedGcTime() gcDelta := currentGCTime - $oldElapsedGCTime elapsedSeconds:= - 1.* QUOTIENT(currentTime-$oldElapsedTime-gcDelta,$timerTicksPerSecond) + 1.* (currentTime-$oldElapsedTime-gcDelta)/$timerTicksPerSecond PUT('gc, 'TimeTotal,GETL('gc,'TimeTotal) + 1.*QUOTIENT(gcDelta,$timerTicksPerSecond)) $oldElapsedTime := elapsedUserTime() |