src/Pure/Concurrent/mailbox.scala

--- a/src/Pure/Concurrent/mailbox.scala	Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/Concurrent/mailbox.scala	Fri Apr 01 17:06:10 2022 +0200
@@ -8,14 +8,12 @@
 package isabelle
 
 
-object Mailbox
-{
+object Mailbox {
   def apply[A]: Mailbox[A] = new Mailbox[A]()
 }
 
 
-class Mailbox[A] private()
-{
+class Mailbox[A] private() {
   private val mailbox = Synchronized[List[A]](Nil)
   override def toString: String = mailbox.value.reverse.mkString("Mailbox(", ",", ")")