# HG changeset patch
# User wenzelm
# Date 1677524998 -3600
# Node ID 87027d030fec977f023dc0907b6f35ec7e6114b2
# Parent  f3e5b3fe230e4f038f4b50335f1bcbf64e7cc59b
proper SQL (amending 7ab9bac1ca96);

diff -r f3e5b3fe230e -r 87027d030fec src/Pure/Admin/build_log.scala
--- a/src/Pure/Admin/build_log.scala	Mon Feb 27 15:31:19 2023 +0100
+++ b/src/Pure/Admin/build_log.scala	Mon Feb 27 20:09:58 2023 +0100
@@ -1065,7 +1065,7 @@
       val where =
         SQL.where(
           SQL.and(
-            Data.log_name(table1).where_equal(log_name),
+            Data.log_name(table1).equal(log_name),
             Data.session_name(table1).ident + " <> ''",
             if_proper(session_names, Data.session_name(table1).member(session_names))))