# HG changeset patch
# User wenzelm
# Date 1675697200 -3600
# Node ID e5ec449b4839e270e3a19ac87305617eda78dc62
# Parent  ee7dc5151db57d03761c08e986cb13c6d9f3a288
tuned signature;

diff -r ee7dc5151db5 -r e5ec449b4839 src/Pure/System/executable.scala
--- a/src/Pure/System/executable.scala	Mon Feb 06 16:21:25 2023 +0100
+++ b/src/Pure/System/executable.scala	Mon Feb 06 16:26:40 2023 +0100
@@ -20,7 +20,7 @@
     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)
+      split_lines(Isabelle_System.bash(script, cwd = exe_dir.file).check.out)
     }
 
     def lib_name(lib: String): String =