--- a/src/Pure/Build/build_schedule.scala Sat Mar 09 16:52:08 2024 +0100
+++ b/src/Pure/Build/build_schedule.scala Sat Mar 09 16:59:38 2024 +0100
@@ -1209,8 +1209,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 =
- Build_Process.data_update(read_scheduled_builds_domain(db), running_builds_domain)
+ val update = Library.Update.make(read_scheduled_builds_domain(db), running_builds_domain)
remove_schedules(db, update.delete)
}