diff -r 5f388e514ab8 -r 77ef8bef0593 src/Pure/Concurrent/delay.scala
--- a/src/Pure/Concurrent/delay.scala	Thu Mar 04 19:55:52 2021 +0100
+++ b/src/Pure/Concurrent/delay.scala	Thu Mar 04 21:04:27 2021 +0100
@@ -37,7 +37,7 @@
   {
     val new_run =
       running match {
-        case Some(request) => if (first) false else { request.cancel; true }
+        case Some(request) => if (first) false else { request.cancel(); true }
         case None => true
       }
     if (new_run)
@@ -47,7 +47,7 @@
   def revoke(): Unit = synchronized
   {
     running match {
-      case Some(request) => request.cancel; running = None
+      case Some(request) => request.cancel(); running = None
       case None =>
     }
   }
@@ -57,7 +57,7 @@
     running match {
       case Some(request) =>
         val alt_time = Time.now() + alt_delay
-        if (request.time < alt_time && request.cancel) {
+        if (request.time < alt_time && request.cancel()) {
           running = Some(Event_Timer.request(alt_time)(run))
         }
       case None =>