src/HOL/TPTP/atp_theory_export.ML

--- a/src/HOL/TPTP/atp_theory_export.ML	Wed Mar 03 22:48:46 2021 +0100
+++ b/src/HOL/TPTP/atp_theory_export.ML	Thu Mar 04 10:10:44 2021 +0100
@@ -56,7 +56,6 @@
     val _ = problem
       |> lines_of_atp_problem format ord (K [])
       |> File.write_list prob_file
-    val exec = exec false
     val path = getenv (List.last (fst exec)) ^ "/" ^ List.last (snd exec)
     val command =
       File.bash_path (Path.explode path) ^ " " ^