| changeset 71601 | 97ccf48c2f0c |
| parent 65638 | f86798cbe0c2 |
| child 71673 | 88dfbc382a3d |
--- 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) }