--- a/src/Pure/System/scala.ML Sat May 23 21:58:44 2020 +0200
+++ b/src/Pure/System/scala.ML Sat May 23 22:09:55 2020 +0200
@@ -8,7 +8,6 @@
sig
val promise_function: string -> string -> string future
val function: string -> string -> string
- val function_yxml: string -> XML.body -> XML.body
exception Null
val check: string -> unit
end;
@@ -42,8 +41,6 @@
fun function name arg = Future.join (promise_function name arg);
-fun function_yxml name = YXML.string_of_body #> function name #> YXML.parse_body;
-
(* fulfill *)