--- a/src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML Sun Apr 25 21:12:59 2021 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML Sun Apr 25 22:33:15 2021 +0200
@@ -271,7 +271,7 @@
let val {output, timing} = SystemOnTPTP.run_system_encoded args
in (output, timing) end
else
- let val res = Isabelle_System.bash_process ("exec 2>&1; " ^ command)
+ let val res = Isabelle_System.bash_process_redirect command
in (Process_Result.out res, Process_Result.timing_elapsed res) end
val _ =