src/Pure/Tools/build_schedule.scala

--- a/src/Pure/Tools/build_schedule.scala	Thu Oct 26 16:04:48 2023 +0200
+++ b/src/Pure/Tools/build_schedule.scala	Thu Oct 26 22:10:22 2023 +0200
@@ -408,7 +408,7 @@
     private final lazy val _log_database: SQL.Database =
       try {
         val db = _log_store.open_database(server = this.server)
-        Build_Log.private_data.tables.foreach(db.create_table(_))
+        _log_store.init_database(db)
         db
       }
       catch { case exn: Throwable => close(); throw exn }