changeset 50989 | a7f6ce0493b7 |
parent 50982 | a7aa17a1f721 |
child 51240 | a7a04b449e8b |
--- a/src/Pure/Tools/task_statistics.scala Sat Jan 19 22:17:26 2013 +0100 +++ b/src/Pure/Tools/task_statistics.scala Sun Jan 20 13:55:15 2013 +0100 @@ -33,7 +33,7 @@ { val values = new Array[Double](tasks.length) for ((Run(x), i) <- tasks.iterator.zipWithIndex) values(i) = - Math.log10(x.toDouble / 1000000) + java.lang.Math.log10(x.toDouble / 1000000) val data = new HistogramDataset data.addSeries("tasks", values, bins)