src/Pure/System/command_line.scala

--- a/src/Pure/System/command_line.scala	Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/System/command_line.scala	Fri Apr 01 17:06:10 2022 +0200
@@ -7,10 +7,8 @@
 package isabelle
 
 
-object Command_Line
-{
-  object Chunks
-  {
+object Command_Line {
+  object Chunks {
     private def chunks(list: List[String]): List[List[String]] =
       list.indexWhere(_ == "\n") match {
         case -1 => List(list)
@@ -21,8 +19,7 @@
     def unapplySeq(list: List[String]): Option[List[List[String]]] = Some(chunks(list))
   }
 
-  def tool(body: => Unit): Unit =
-  {
+  def tool(body: => Unit): Unit = {
     val thread =
       Isabelle_Thread.fork(name = "command_line", inherit_locals = true) {
         val rc =