diff -r 64aad1e46f98 -r 97ccf48c2f0c src/Pure/System/invoke_scala.scala
--- a/src/Pure/System/invoke_scala.scala	Fri Mar 27 13:04:15 2020 +0100
+++ b/src/Pure/System/invoke_scala.scala	Fri Mar 27 22:01:27 2020 +0100
@@ -123,6 +123,6 @@
 
   val functions =
     List(
-      Markup.INVOKE_SCALA -> invoke_scala _,
-      Markup.CANCEL_SCALA -> cancel_scala _)
+      Markup.INVOKE_SCALA -> invoke_scala,
+      Markup.CANCEL_SCALA -> cancel_scala)
 }