src/Pure/Build/build_manager.scala

 
     def update_pending(
       db: SQL.Database,
       old_pending: Build_Manager.State.Pending,
       pending: Build_Manager.State.Pending
-    ): Library.Update = {
-      val update = Library.Update.make(old_pending, pending)
+    ): Update = {
+      val update = Update.make(old_pending, pending)
       val delete = update.delete.map(old_pending(_).id.toString)
 
       if (update.deletes)
         db.execute_statement(Pending.table.delete(Pending.id.where_member(delete)))
 

 
     def update_running(
       db: SQL.Database,
       old_running: Build_Manager.State.Running,
       running: Build_Manager.State.Running
-    ): Library.Update = {
-      val update = Library.Update.make(old_running, running)
+    ): Update = {
+      val update = Update.make(old_running, running)
       val delete = update.delete.map(old_running(_).id.toString)
 
       if (update.deletes)
         db.execute_statement(Running.table.delete(Running.id.where_member(delete)))