src/Pure/Thy/bibtex.scala

--- a/src/Pure/Thy/bibtex.scala	Fri Apr 01 17:06:10 2022 +0200
+++ b/src/Pure/Thy/bibtex.scala	Fri Apr 01 23:19:12 2022 +0200
@@ -105,7 +105,7 @@
       }
     }
 
-    Isabelle_System.with_tmp_dir("bibtex")(tmp_dir => {
+    Isabelle_System.with_tmp_dir("bibtex") { tmp_dir =>
       File.write(tmp_dir + Path.explode("root.bib"),
         tokens.iterator.map(p => p._1.source).mkString("", "\n", "\n"))
       File.write(tmp_dir + Path.explode("root.aux"),
@@ -138,7 +138,7 @@
           ).partition(_._1)
         }
       (errors.map(_._2), warnings.map(_._2))
-    })
+    }
   }
 
   object Check_Database extends Scala.Fun_String("bibtex_check_database") {
@@ -629,7 +629,7 @@
     style: String = "",
     chronological: Boolean = false
   ): String = {
-    Isabelle_System.with_tmp_dir("bibtex")(tmp_dir => {
+    Isabelle_System.with_tmp_dir("bibtex") { tmp_dir =>
       /* database files */
 
       val bib_files = bib.map(_.drop_ext)
@@ -682,6 +682,6 @@
             dropWhile(line => !line.startsWith("<!-- END BIBLIOGRAPHY")).reverse)
       }
       else html
-    })
+    }
   }
 }