--- a/src/Pure/Build/build_process.scala Tue Mar 05 18:42:09 2024 +0100
+++ b/src/Pure/Build/build_process.scala Tue Mar 05 19:21:07 2024 +0100
@@ -772,7 +772,7 @@
/* collective operations */
- override val tables =
+ override val tables: SQL.Tables =
SQL.Tables(
Base.table,
Workers.table,