src/Pure/Thy/sessions.scala
changeset 66857 f8f42289c4df
parent 66848 982baed14542
child 66873 9953ae603a23
     1.1 --- a/src/Pure/Thy/sessions.scala	Fri Oct 13 21:15:04 2017 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Fri Oct 13 21:20:31 2017 +0200
     1.3 @@ -824,7 +824,7 @@
     1.4  
     1.5    object Session_Info
     1.6    {
     1.7 -    val session_name = SQL.Column.string("session_name", primary_key = true)
     1.8 +    val session_name = SQL.Column.string("session_name").make_primary_key
     1.9  
    1.10      // Build_Log.Session_Info
    1.11      val session_timing = SQL.Column.bytes("session_timing")