Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/build_process.scala
changeset 78153 55a6aa77f3d8
parent 78151 2fdf3d8a94e6
child 78154 8a7df40375ae 
--- a/src/Pure/Tools/build_process.scala	Wed Jun 14 11:18:25 2023 +0200
+++ b/src/Pure/Tools/build_process.scala	Wed Jun 14 11:47:43 2023 +0200
@@ -499,10 +499,9 @@
       db.execute_query_statement(
         Progress.table.select(
           sql =
-            SQL.where(
-              SQL.and(
-                if (seen <= 0) "" else Progress.serial.ident + " > " + seen,
-                Generic.sql(build_uuid = build_uuid)))),
+            SQL.where_and(
+              if (seen <= 0) "" else Progress.serial.ident + " > " + seen,
+              Generic.sql(build_uuid = build_uuid))),
         SortedMap.from[Long, isabelle.Progress.Message],
         { res =>
           val serial = res.long(Progress.serial)
isabelle