diff -r f55a11cd3b71 -r cff00b3dddf5 src/Pure/Build/build_schedule.scala
--- a/src/Pure/Build/build_schedule.scala	Thu Jun 06 22:34:24 2024 +0200
+++ b/src/Pure/Build/build_schedule.scala	Thu Jun 06 22:26:40 2024 +0200
@@ -1363,7 +1363,7 @@
           Base.table.select(List(Base.build_uuid), sql = SQL.where(Base.stop.undefined)),
           Map.from[String, Unit], res => res.string(Base.build_uuid) -> ())
 
-      val update = Library.Update.make(read_scheduled_builds_domain(db), running_builds_domain)
+      val update = Update.make(read_scheduled_builds_domain(db), running_builds_domain)
 
       remove_schedules(db, update.delete)
     }