Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/General/timing.scala
changeset 71785 39613d6e2021
parent 67858 cba5c5657378
child 72015 6c6609fd898c 
--- a/src/Pure/General/timing.scala	Wed Apr 22 18:37:09 2020 +0200
+++ b/src/Pure/General/timing.scala	Wed Apr 22 18:37:25 2020 +0200
@@ -60,7 +60,7 @@
   {
     val factor_text =
       factor match {
-        case Some(f) => String.format(Locale.ROOT, ", factor %.2f", new java.lang.Double(f))
+        case Some(f) => String.format(Locale.ROOT, ", factor %.2f", java.lang.Double.valueOf(f))
         case None => ""
       }
     if (resources.seconds >= 3.0)
isabelle