Fix scoring metric.

diff --git a/src/bin/cli.ts b/src/bin/cli.ts
index 8242b57e653a86f691f4a07f214edc11b63f8ec3..c6c17fd61f0570a6661c384382ff9a2c88a3c049 100755 (executable)
--- a/src/bin/cli.ts
+++ b/src/bin/cli.ts
@@ -275,7 +275,7 @@ async function score (): Promise<void> {
                try {
                        const result = await benchmark()
                        logger.log(result)
-                       if (result != null) rates.push(result.truncatedArithmetic)
+                       if (result != null) rates.push(result.truncatedRate)
                } catch (err) {
                        logger.log(err)
                }