--- a/src/HOL/TPTP/atp_theory_export.ML Sun Mar 14 16:50:11 2021 +0100
+++ b/src/HOL/TPTP/atp_theory_export.ML Sun Mar 14 18:27:55 2021 +0100
@@ -59,8 +59,7 @@
val path = getenv (List.last (fst exec)) ^ "/" ^ List.last (snd exec)
val command =
File.bash_path (Path.explode path) ^ " " ^
- arguments ctxt false "" atp_timeout (File.bash_path prob_file)
- (ord, K [], K [])
+ arguments ctxt false "" atp_timeout prob_file (ord, K [], K [])
val outcome =
Timeout.apply atp_timeout Isabelle_System.bash_output command
|> fst