# HG changeset patch
# User wenzelm
# Date 1678729994 -3600
# Node ID a65b39fdf8b64eb45be1eaa1c4c936ac3b3720af
# Parent  f7208db921c200fe261d3c049dce2d8b3a2eee78
tuned whitespace;

diff -r f7208db921c2 -r a65b39fdf8b6 src/Pure/Tools/build_process.scala
--- a/src/Pure/Tools/build_process.scala	Mon Mar 13 17:32:29 2023 +0100
+++ b/src/Pure/Tools/build_process.scala	Mon Mar 13 18:53:14 2023 +0100
@@ -516,8 +516,7 @@
 
       val build_stop =
         db.execute_query_statementO(
-          Base.table.select(List(Base.stop),
-            sql = SQL.where(Generic.sql(build_uuid = build_uuid))),
+          Base.table.select(List(Base.stop), sql = SQL.where(Generic.sql(build_uuid = build_uuid))),
           res => res.get_date(Base.stop))
 
       build_stop match {