changeset 77429 | 110988ad5b4c |
parent 75344 | 647611e6da76 |
child 80306 | c2537860ccf8 |
--- a/src/HOL/TPTP/atp_theory_export.ML Wed Mar 01 08:00:51 2023 +0100 +++ b/src/HOL/TPTP/atp_theory_export.ML Wed Mar 01 08:00:51 2023 +0100 @@ -57,7 +57,7 @@ val path = getenv (List.last (fst exec)) ^ "/" ^ List.last (snd exec) val command = space_implode " " (File.bash_path (Path.explode path) :: - arguments ctxt false "" atp_timeout prob_file) + arguments false false "" atp_timeout prob_file) val outcome = Timeout.apply atp_timeout Isabelle_System.bash_output command |> fst