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) }