src/Pure/Build/build_manager.scala

--- a/src/Pure/Build/build_manager.scala	Thu Jun 06 22:03:20 2024 +0200
+++ b/src/Pure/Build/build_manager.scala	Thu Jun 06 22:13:10 2024 +0200
@@ -138,8 +138,8 @@
       serial + 1
     }
 
-    type Pending = Library.Update.Data[Task]
-    type Running = Library.Update.Data[Job]
+    type Pending = Name.Data[Task]
+    type Running = Name.Data[Job]
     type Finished = Map[String, Result]
   }