--- a/src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML Sat Aug 07 21:25:47 2021 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML Sat Aug 07 22:23:37 2021 +0200
@@ -271,7 +271,10 @@
let val {output, timing} = SystemOnTPTP.run_system_encoded args
in (output, timing) end
else
- let val res = Isabelle_System.bash_process_redirect command
+ let
+ val res =
+ Isabelle_System.bash_process
+ {script = command, input = "", redirect = true, timeout = Time.zeroTime}
in (Process_Result.out res, Process_Result.timing_elapsed res) end
val _ =