--- a/src/HOL/Tools/ATP/system_on_tptp.scala Mon Apr 12 15:00:03 2021 +0200
+++ b/src/HOL/Tools/ATP/system_on_tptp.scala Mon Apr 12 18:10:13 2021 +0200
@@ -40,7 +40,7 @@
"ListStatus" -> "READY",
"QuietFlag" -> "-q0"))
- object List_Systems extends Scala.Fun("SystemOnTPTP.list_systems", thread = true)
+ object List_Systems extends Scala.Fun_String("SystemOnTPTP.list_systems", thread = true)
{
val here = Scala_Project.here
def apply(url: String): String = list_systems(Url(url)).text
@@ -69,7 +69,7 @@
post_request(url, paramaters, timeout = timeout + Time.seconds(15))
}
- object Run_System extends Scala.Fun("SystemOnTPTP.run_system", thread = true)
+ object Run_System extends Scala.Fun_String("SystemOnTPTP.run_system", thread = true)
{
val here = Scala_Project.here
def apply(arg: String): String =