Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
redundant;
authorwenzelm
Thu, 04 May 2017 15:20:57 +0200
changeset 65721 01fc771021e6
parent 65718 79be5b464a16
child 65722 35fcedb6bdc8
redundant;
src/Pure/Admin/build_log.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_log.scala	Thu May 04 15:10:51 2017 +0200
+++ b/src/Pure/Admin/build_log.scala	Thu May 04 15:20:57 2017 +0200
@@ -678,9 +678,7 @@
     // WARNING: This may cause performance problems, e.g. with sqlitebrowser
     val full_table: SQL.Table =
     {
-      val columns =
-        meta_info_table.columns :::
-          sessions_table.columns.tail.map(_.copy(primary_key = false))
+      val columns = meta_info_table.columns ::: sessions_table.columns.tail
       SQL.Table("isabelle_build_log", columns,
         {
           val table1 = meta_info_table
isabelle