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.
tuned whitespace;
authorwenzelm
Mon, 13 Mar 2023 18:53:14 +0100
changeset 77633 a65b39fdf8b6
parent 77632 f7208db921c2
child 77634 50fc9143ccfa
tuned whitespace;
src/Pure/Tools/build_process.scala file | annotate | diff | comparison | revisions 
--- 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 {
isabelle