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/Thy/sessions.scala
changeset 66857 f8f42289c4df
parent 66848 982baed14542
child 66873 9953ae603a23 
--- a/src/Pure/Thy/sessions.scala	Fri Oct 13 21:15:04 2017 +0200
+++ b/src/Pure/Thy/sessions.scala	Fri Oct 13 21:20:31 2017 +0200
@@ -824,7 +824,7 @@
 
   object Session_Info
   {
-    val session_name = SQL.Column.string("session_name", primary_key = true)
+    val session_name = SQL.Column.string("session_name").make_primary_key
 
     // Build_Log.Session_Info
     val session_timing = SQL.Column.bytes("session_timing")
isabelle