# HG changeset patch
# User wenzelm
# Date 1673905260 -3600
# Node ID d481dc154310782d2d86ab17c07329c9b723e97d
# Parent  6d847e27cafc32cc59115cbbadd1e41788c1c641
tuned;

diff -r 6d847e27cafc -r d481dc154310 src/Pure/System/progress.scala
--- a/src/Pure/System/progress.scala	Mon Jan 16 20:57:38 2023 +0100
+++ b/src/Pure/System/progress.scala	Mon Jan 16 22:41:00 2023 +0100
@@ -122,7 +122,7 @@
           (results, message)
         }
 
-      (results, List(XML.Elem(Markup(Markup.TRACING_MESSAGE, Nil), message)))
+      (results, List(XML.elem(Markup.TRACING_MESSAGE, message)))
     }
   }
 }