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