src/Pure/System/tty_loop.scala

--- a/src/Pure/System/tty_loop.scala	Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/System/tty_loop.scala	Fri Apr 01 17:06:10 2022 +0200
@@ -13,8 +13,8 @@
 class TTY_Loop(
   writer: Writer,
   reader: Reader,
-  writer_lock: AnyRef = new Object)
-{
+  writer_lock: AnyRef = new Object
+) {
   private val console_output = Future.thread[Unit]("console_output", uninterruptible = true) {
     try {
       val result = new StringBuilder(100)