src/Pure/Tools/server.scala

--- a/src/Pure/Tools/server.scala	Sun Mar 10 10:40:48 2024 +0100
+++ b/src/Pure/Tools/server.scala	Sun Mar 10 10:50:12 2024 +0100
@@ -366,7 +366,7 @@
   object private_data extends SQL.Data() {
     val database = Path.explode("$ISABELLE_HOME_USER/servers.db")
 
-    override lazy val tables = SQL.Tables(Base.table)
+    override lazy val tables: SQL.Tables = SQL.Tables(Base.table)
 
     object Base {
       val name = SQL.Column.string("name").make_primary_key