src/Pure/System/executable.scala

--- a/src/Pure/System/executable.scala	Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/System/executable.scala	Fri Apr 01 17:06:10 2022 +0200
@@ -7,19 +7,17 @@
 package isabelle
 
 
-object Executable
-{
+object Executable {
   def libraries_closure(path: Path,
     mingw: MinGW = MinGW.none,
     filter: String => Boolean = _ => true,
-    patchelf: Boolean = false): List[String] =
-  {
+    patchelf: Boolean = false
+  ): List[String] = {
     val exe_path = path.expand
     val exe_dir = exe_path.dir
     val exe = exe_path.base
 
-    val ldd_lines =
-    {
+    val ldd_lines = {
       val ldd = if (Platform.is_macos) "otool -L" else "ldd"
       val script = mingw.bash_script(ldd + " " + File.bash_path(exe))
       Library.split_lines(Isabelle_System.bash(script, cwd = exe_dir.file).check.out)