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.
proper columns;
authorwenzelm
Fri, 17 Mar 2017 21:57:11 +0100
changeset 65297 dfbb17430342
parent 65296 a71db30f3b2d
child 65298 9cbc44f8e0d8
proper columns;
src/Pure/Thy/sessions.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/sessions.scala	Fri Mar 17 21:55:13 2017 +0100
+++ b/src/Pure/Thy/sessions.scala	Fri Mar 17 21:57:11 2017 +0100
@@ -684,7 +684,7 @@
     }
 
     def read_build(db: SQL.Database): Option[Build.Session_Info] =
-      using(db.select_statement(Session_Info.table, Session_Info.table.columns))(stmt =>
+      using(db.select_statement(Session_Info.table, Session_Info.build_columns))(stmt =>
       {
         val rs = stmt.executeQuery
         if (!rs.next) None
isabelle