src/Pure/Admin/build_spass.scala

--- a/src/Pure/Admin/build_spass.scala	Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/Admin/build_spass.scala	Fri Apr 01 17:06:10 2022 +0200
@@ -7,8 +7,7 @@
 package isabelle
 
 
-object Build_SPASS
-{
+object Build_SPASS {
   /* build SPASS */
 
   val default_download_url = "https://www.cs.vu.nl/~jbe248/spass-3.8ds-src.tar.gz"
@@ -18,10 +17,8 @@
     download_url: String = default_download_url,
     verbose: Boolean = false,
     progress: Progress = new Progress,
-    target_dir: Path = Path.current): Unit =
-  {
-    Isabelle_System.with_tmp_dir("build")(tmp_dir =>
-    {
+    target_dir: Path = Path.current): Unit = {
+    Isabelle_System.with_tmp_dir("build")(tmp_dir => {
       Isabelle_System.require_command("bison")
       Isabelle_System.require_command("flex")
 
@@ -150,8 +147,7 @@
 
   val isabelle_tool =
     Isabelle_Tool("build_spass", "build prover component from source distribution",
-      Scala_Project.here, args =>
-    {
+      Scala_Project.here, args => {
       var target_dir = Path.current
       var download_url = default_download_url
       var verbose = false