# HG changeset patch
# User wenzelm
# Date 1698353071 -7200
# Node ID 5826b24dd19351a68c311193d3d9b3c360820d7a
# Parent  2700e4b484f7447140dbc0c7a079a6f4e6f518f8
redundant (see also 3069da1743bc);

diff -r 2700e4b484f7 -r 5826b24dd193 src/Pure/Admin/build_log.scala
--- a/src/Pure/Admin/build_log.scala	Thu Oct 26 22:20:22 2023 +0200
+++ b/src/Pure/Admin/build_log.scala	Thu Oct 26 22:44:31 2023 +0200
@@ -1003,7 +1003,6 @@
       }
 
       abstract class Table_Status(table: SQL.Table) {
-        db.create_table(table)
         private var known: Set[String] = domain(db, table, private_data.log_name)
 
         def required(file: JFile): Boolean = !known(Log_File.plain_name(file))