--- a/src/Pure/General/time.scala Mon Mar 01 20:12:09 2021 +0100
+++ b/src/Pure/General/time.scala Mon Mar 01 22:22:12 2021 +0100
@@ -66,5 +66,5 @@
def instant: Instant = Instant.ofEpochMilli(ms)
- def sleep { Thread.sleep(ms) }
+ def sleep: Unit = Thread.sleep(ms)
}