src/Pure/Thy/sessions.scala
changeset 65602 d9533e9615ad
parent 65593 607f7ad07a60
child 65604 637aa8e93cd7
     1.1 --- a/src/Pure/Thy/sessions.scala	Fri Apr 28 11:45:44 2017 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Fri Apr 28 11:50:31 2017 +0200
     1.3 @@ -750,10 +750,10 @@
     1.4  
     1.5      def select_statement(db: SQL.Database, name: String, columns: List[SQL.Column])
     1.6          : PreparedStatement =
     1.7 -      db.select_statement(table, columns, session_name.sql_where_eq_string(name))
     1.8 +      db.select_statement(table, columns, session_name.sql_where_equal(name))
     1.9  
    1.10      def delete_statement(db: SQL.Database, name: String): PreparedStatement =
    1.11 -      db.delete_statement(table, session_name.sql_where_eq_string(name))
    1.12 +      db.delete_statement(table, session_name.sql_where_equal(name))
    1.13    }
    1.14  
    1.15    def store(system_mode: Boolean = false): Store = new Store(system_mode)