Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper SQL (amending 7ab9bac1ca96);
authorwenzelm
Mon, 27 Feb 2023 20:09:58 +0100
changeset 77401 87027d030fec
parent 77400 f3e5b3fe230e
child 77402 907b2cad365a
proper SQL (amending 7ab9bac1ca96);
src/Pure/Admin/build_log.scala file | annotate | diff | comparison | revisions 
--- 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))))
isabelle