src/Pure/ML/ml_console.scala

--- a/src/Pure/ML/ml_console.scala	Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/ML/ml_console.scala	Fri Apr 01 17:06:10 2022 +0200
@@ -7,12 +7,10 @@
 package isabelle
 
 
-object ML_Console
-{
+object ML_Console {
   /* command line entry point */
 
-  def main(args: Array[String]): Unit =
-  {
+  def main(args: Array[String]): Unit = {
     Command_Line.tool {
       var dirs: List[Path] = Nil
       var include_sessions: List[String] = Nil