# HG changeset patch
# User wenzelm
# Date 1678281674 -3600
# Node ID 661d29a291ea496c58cf7043eb8c917f5562fafa
# Parent  32f9e75c92e94d21f971cef17874fca0e2f0a997
tuned;

diff -r 32f9e75c92e9 -r 661d29a291ea src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Mar 08 13:36:40 2023 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Mar 08 14:21:14 2023 +0100
@@ -116,7 +116,7 @@
 
     db.execute_query_statement(
       Build_Log.Data.select_recent_versions(
-        days = days, rev = rev, afp_rev = afp_rev, sql = "WHERE " + sql),
+        days = days, rev = rev, afp_rev = afp_rev, sql = SQL.where(sql)),
       List.from[Item],
       { res =>
         val known = res.bool(Build_Log.Data.known)