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/Tools/build.scala
changeset 73702 7202e12cb324
parent 73522 b219774a71ae
child 73736 a8ff6e4ee661 
--- a/src/Pure/Tools/build.scala	Sun May 16 13:14:16 2021 +0200
+++ b/src/Pure/Tools/build.scala	Sun May 16 13:34:27 2021 +0200
@@ -290,7 +290,7 @@
     }
 
     def sleep(): Unit =
-      Isabelle_Thread.interrupt_handler(_ => progress.stop()) { Time.seconds(0.5).sleep }
+      Isabelle_Thread.interrupt_handler(_ => progress.stop()) { Time.seconds(0.5).sleep() }
 
     val numa_nodes = new NUMA.Nodes(numa_shuffling)
isabelle