diff -r 88e33d16f2de -r 71ad306ee61f src/Pure/System/progress.scala
--- 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)