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/Build/build.scala
changeset 79819 141df3fb25bf
parent 79814 2da08d9ce629
child 79845 0158007dfdab 
--- a/src/Pure/Build/build.scala	Fri Mar 08 20:29:05 2024 +0100
+++ b/src/Pure/Build/build.scala	Fri Mar 08 20:38:19 2024 +0100
@@ -445,7 +445,7 @@
             build_hosts = build_hosts.toList)
         }
       val stop_date = progress.now()
-      val elapsed_time = stop_date.time - progress.start.time
+      val elapsed_time = stop_date - progress.start
 
       progress.echo("\nFinished at " + Build_Log.print_date(stop_date), verbose = true)
isabelle