src/Pure/Build/store.scala

--- a/src/Pure/Build/store.scala	Sun Mar 10 10:40:48 2024 +0100
+++ b/src/Pure/Build/store.scala	Sun Mar 10 10:50:12 2024 +0100
@@ -114,7 +114,7 @@
   /* SQL data model */
 
   object private_data extends SQL.Data() {
-    override lazy val tables = SQL.Tables(Session_Info.table, Sources.table)
+    override lazy val tables: SQL.Tables = SQL.Tables(Session_Info.table, Sources.table)
 
     object Session_Info {
       val session_name = SQL.Column.string("session_name").make_primary_key