# HG changeset patch
# User wenzelm
# Date 1709978732 -3600
# Node ID 60f1e32792c158d44a1b96c33e5549db0dc056c9
# Parent  fb4eb78163ae51170577e4e2ac3616798b430020
tuned signature: prefer bottom-up construction;

diff -r fb4eb78163ae -r 60f1e32792c1 src/Pure/Admin/build_log.scala
--- a/src/Pure/Admin/build_log.scala	Sat Mar 09 10:57:28 2024 +0100
+++ b/src/Pure/Admin/build_log.scala	Sat Mar 09 11:05:32 2024 +0100
@@ -687,15 +687,7 @@
   }
 
   object private_data extends SQL.Data("isabelle_build_log") {
-    override def tables: SQL.Tables =
-      SQL.Tables(
-        meta_info_table,
-        sessions_table,
-        theories_table,
-        ml_statistics_table)
-
-
-    /* main content */
+    /* tables */
 
     val meta_info_table =
       make_table(Column.log_name :: Prop.all_props ::: Settings.all_settings, name = "meta_info")
@@ -719,6 +711,13 @@
       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) */