src/Pure/System/invoke_scala.scala

--- a/src/Pure/System/invoke_scala.scala	Fri Apr 03 11:47:08 2020 +0200
+++ b/src/Pure/System/invoke_scala.scala	Fri Apr 03 12:45:14 2020 +0200
@@ -123,6 +123,6 @@
 
   val functions =
     List(
-      Markup.INVOKE_SCALA -> invoke_scala,
-      Markup.CANCEL_SCALA -> cancel_scala)
+      Markup.Invoke_Scala.name -> invoke_scala,
+      Markup.Cancel_Scala.name -> cancel_scala)
 }