# HG changeset patch # User wenzelm # Date 1358686515 -3600 # Node ID a7f6ce0493b78b1a6eaf4c2cb686d4b82d9fab76 # Parent 6167892814138d90e8593f75cf4cbbb95bf75631 accomodate scala-2.9.2; diff -r 616789281413 -r a7f6ce0493b7 src/Pure/Tools/task_statistics.scala --- 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)