src/Pure/Concurrent/par_list.scala
changeset 73367 77ef8bef0593
parent 61590 94ab348eaab2
child 73512 e52a9b208481
--- a/src/Pure/Concurrent/par_list.scala	Thu Mar 04 19:55:52 2021 +0100
+++ b/src/Pure/Concurrent/par_list.scala	Thu Mar 04 21:04:27 2021 +0100
@@ -19,7 +19,7 @@
         state.change { case (futures, canceled) =>
           if (!canceled) {
             for ((future, i) <- futures.iterator.zipWithIndex if i != self)
-              future.cancel
+              future.cancel()
           }
           (futures, true)
         }