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.
removed junk;
authorwenzelm
Sun, 02 Jul 2023 19:51:03 +0200
changeset 78245 eca6ae2a09d7
parent 78244 635ba0cbfe60
child 78246 76dd9b9cf624
removed junk;
src/Pure/Tools/build_process.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/build_process.scala	Sun Jul 02 19:12:29 2023 +0200
+++ b/src/Pure/Tools/build_process.scala	Sun Jul 02 19:51:03 2023 +0200
@@ -550,8 +550,6 @@
       serial: Long,
       stop: Boolean = false
     ): Unit = {
-      val sql =
-
       db.execute_statement(
         Workers.table.update(List(Workers.stamp, Workers.stop, Workers.serial),
           sql = Workers.worker_uuid.where_equal(worker_uuid)),
isabelle