Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_log.scala
changeset 78853 5826b24dd193
parent 78852 2700e4b484f7
child 78856 66634877e34c 
--- 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))
isabelle