src/Pure/Admin/build_log.scala

       val where_log_name =
         Data.log_name(table1).where_equal(log_name) + " AND " +
         Data.session_name(table1) + " <> ''"
       val where =
         if (session_names.isEmpty) where_log_name
-        else where_log_name + " AND " + SQL.member(Data.session_name(table1).ident, session_names)
+        else where_log_name + " AND " + Data.session_name(table1).member(session_names)
 
       val columns1 = table1.columns.tail.map(_.apply(table1))
       val (columns, from) =
         if (ml_statistics) {
           val columns = columns1 ::: List(Data.ml_statistics(table2))