--- a/src/Pure/Build/build_schedule.scala Sun Mar 10 10:40:48 2024 +0100
+++ b/src/Pure/Build/build_schedule.scala Sun Mar 10 10:50:12 2024 +0100
@@ -1061,6 +1061,12 @@
object private_data extends SQL.Data("isabelle_build") {
import Build_Process.private_data.{Base, Generic}
+ override lazy val tables: SQL.Tables =
+ SQL.Tables(Schedules.table, Nodes.table)
+
+ lazy val all_tables: SQL.Tables =
+ SQL.Tables.list(Build_Process.private_data.tables.list ::: tables.list)
+
/* schedule */
@@ -1211,11 +1217,6 @@
remove_schedules(db, update.delete)
}
-
- override val tables: SQL.Tables = SQL.Tables(Schedules.table, Nodes.table)
-
- val all_tables: SQL.Tables =
- SQL.Tables.list(Build_Process.private_data.tables.list ::: tables.list)
}