src/Pure/System/tty_loop.scala

--- a/src/Pure/System/tty_loop.scala	Sat Aug 07 19:58:38 2021 +0200
+++ b/src/Pure/System/tty_loop.scala	Sat Aug 07 21:25:47 2021 +0200
@@ -62,7 +62,7 @@
     catch { case e: IOException => case Exn.Interrupt() => }
   }
 
-  def join: Unit = { console_output.join; console_input.join }
+  def join(): Unit = { console_output.join; console_input.join }
 
   def cancel(): Unit = console_input.cancel()
 }