src/Pure/Build/export.scala

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