--- a/src/Pure/Build/build_process.scala Wed Mar 13 16:09:11 2024 +0100
+++ b/src/Pure/Build/build_process.scala Wed Mar 13 16:14:23 2024 +0100
@@ -233,7 +233,7 @@
def next_serial: Long = State.inc_serial(serial)
def ready: List[Task] = pending.valuesIterator.filter(_.is_ready).toList.sortBy(_.name)
- def next_ready: List[Task] = ready.filter(entry => !is_running(entry.name))
+ def next_ready: List[Task] = ready.filter(task => !is_running(task.name))
def remove_pending(a: String): State =
copy(pending =