changeset 79785 | 5e7a594b53b1 |
parent 79781 | a8d7cf8acaa6 |
child 79805 | 45198ea3f0b3 |
--- a/src/Pure/Build/build_schedule.scala Tue Mar 05 18:42:09 2024 +0100 +++ b/src/Pure/Build/build_schedule.scala Tue Mar 05 19:21:07 2024 +0100 @@ -1213,7 +1213,7 @@ remove_schedules(db, remove) } - override val tables = SQL.Tables(Schedules.table, Nodes.table) + 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)