# HG changeset patch
# User desharna
# Date 1736345409 -3600
# Node ID 31b1c203357ac8491f2448b863b326dd59148b06
# Parent  b7c22754818c95108fb3f725308bf0a6c41b666c
tuned spacing

diff -r b7c22754818c -r 31b1c203357a src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML	Wed Jan 08 15:00:35 2025 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML	Wed Jan 08 15:10:09 2025 +0100
@@ -216,8 +216,7 @@
              string_of_int (Time.toMilliseconds elapsed) ^ " ms"))
 
         val make_args = arguments abduce full_proofs extra run_timeout
-        fun make_command args =
-          implode_space (File.bash_path executable :: args)
+        fun make_command args = implode_space (File.bash_path executable :: args)
         val args = make_args prob_path
         val command = make_command args