diff -r c052a35e6a4f -r ac40138234ce src/Pure/Admin/build_log.scala
--- a/src/Pure/Admin/build_log.scala	Sun Mar 10 10:40:48 2024 +0100
+++ b/src/Pure/Admin/build_log.scala	Sun Mar 10 10:50:12 2024 +0100
@@ -689,6 +689,13 @@
   object private_data extends SQL.Data("isabelle_build_log") {
     /* tables */
 
+    override lazy val tables: SQL.Tables =
+      SQL.Tables(
+        meta_info_table,
+        sessions_table,
+        theories_table,
+        ml_statistics_table)
+
     val meta_info_table =
       make_table(Column.log_name :: Prop.all_props ::: Settings.all_settings, name = "meta_info")
 
@@ -711,13 +718,6 @@
       make_table(List(Column.log_name, Column.session_name, Column.ml_statistics),
         name = "ml_statistics")
 
-    override val tables: SQL.Tables =
-      SQL.Tables(
-        meta_info_table,
-        sessions_table,
-        theories_table,
-        ml_statistics_table)
-
 
     /* earliest pull date for repository version (PostgreSQL queries) */