Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/progress.scala
changeset 83302 71ad306ee61f
parent 83298 d2ffec6f4b89
child 83304 7d9d730a8fd0 
--- a/src/Pure/System/progress.scala	Fri Oct 17 15:56:10 2025 +0200
+++ b/src/Pure/System/progress.scala	Fri Oct 17 16:36:19 2025 +0200
@@ -131,7 +131,7 @@
     }
 
     override def output(msgs: Progress.Output): Unit = synchronized {
-      if (msgs.exists(do_output)) {
+      if (msgs.nonEmpty) {
         val status = status_clear()
         status_output(msgs)
         output_status(status)
isabelle