diff -r d4f387339494 -r 55a6aa77f3d8 src/Pure/Tools/build_process.scala
--- 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)