diff -r dbc32e3c47e3 -r 00b77365552e src/HOL/Tools/ATP/system_on_tptp.scala
--- 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"