diff -r 87ebf5a50283 -r 42267c650205 src/Pure/Admin/build_vampire.scala
--- a/src/Pure/Admin/build_vampire.scala	Fri Apr 01 17:06:10 2022 +0200
+++ b/src/Pure/Admin/build_vampire.scala	Fri Apr 01 23:19:12 2022 +0200
@@ -27,7 +27,7 @@
   ): Unit = {
     Isabelle_System.require_command("cmake")
 
-    Isabelle_System.with_tmp_dir("build")(tmp_dir => {
+    Isabelle_System.with_tmp_dir("build") { tmp_dir =>
       /* component */
 
       val Archive_Name = """^.*?([^/]+)$""".r
@@ -118,7 +118,7 @@
 
         Makarius
         """ + Date.Format.date(Date.now()) + "\n")
-    })
+    }
   }
 
 
@@ -126,7 +126,8 @@
 
   val isabelle_tool =
     Isabelle_Tool("build_vampire", "build prover component from official download",
-    Scala_Project.here, args => {
+    Scala_Project.here,
+    { args =>
       var target_dir = Path.current
       var download_url = default_download_url
       var jobs = default_jobs