--- a/src/HOL/Tools/ATP/system_on_tptp.scala Sun Mar 14 18:27:55 2021 +0100
+++ b/src/HOL/Tools/ATP/system_on_tptp.scala Sun Mar 14 18:32:11 2021 +0100
@@ -72,7 +72,8 @@
val here = Scala_Project.here
def apply(arg: String): String =
{
- val List(url, system, problem, extra, Value.Int(timeout)) = Library.split_strings0(arg)
+ val List(url, system, problem_path, extra, Value.Int(timeout)) = Library.split_strings0(arg)
+ val problem = File.read(Path.explode(problem_path))
val res = run_system(Url(url), system, problem, extra = extra, timeout = Time.ms(timeout))
val bad_prover = "WARNING: " + system + " does not exist"