tuned;
authorwenzelm
Sun Mar 19 13:36:19 2017 +0100 (2017-03-19)
changeset 65322b2dc9e3b8ee5
parent 65321 2b1cd063e0b2
child 65323 7f6c738379f4
tuned;
src/Pure/Thy/sessions.scala
     1.1 --- a/src/Pure/Thy/sessions.scala	Sun Mar 19 13:34:47 2017 +0100
     1.2 +++ b/src/Pure/Thy/sessions.scala	Sun Mar 19 13:36:19 2017 +0100
     1.3 @@ -537,7 +537,7 @@
     1.4      val table = SQL.Table("isabelle_session_info", build_log_columns ::: build_columns)
     1.5  
     1.6      def where_session_name(name: String): String =
     1.7 -      "WHERE " + SQL.quote_ident(session_name.name) + " = " + SQL.quote_string(name)
     1.8 +      "WHERE " + session_name.sql_name + " = " + SQL.quote_string(name)
     1.9  
    1.10      def select_statement(db: SQL.Database, name: String, columns: List[SQL.Column])
    1.11          : PreparedStatement =