Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned spacing
authordesharna
Wed, 08 Jan 2025 15:10:09 +0100
changeset 81749 31b1c203357a
parent 81748 b7c22754818c
child 81752 a1743b71092e
tuned spacing
src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle