diff options
author | dos-reis <gdr@axiomatics.org> | 2008-08-22 01:32:11 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-08-22 01:32:11 +0000 |
commit | 0922fc662e335bbf45ead3f07b518b9c13a48b28 (patch) | |
tree | ed4e80458691fecf3657fccfde0c3bbe52d479cf /src/interp | |
parent | 418997ed442bfa87c81849a3d8e9651407b6d2ec (diff) | |
download | open-axiom-0922fc662e335bbf45ead3f07b518b9c13a48b28.tar.gz |
* interp/g-timer.boot (printTimeIfTrue): Don't compute the
quotient of the integer division.
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() |