diff -r 7d13996ffecc -r 3bc49507bae5 src/Pure/Tools/dump.scala
--- a/src/Pure/Tools/dump.scala	Sat Mar 04 21:41:16 2023 +0100
+++ b/src/Pure/Tools/dump.scala	Sat Mar 04 22:29:21 2023 +0100
@@ -322,7 +322,7 @@
                       XML.content(Pretty.formatted(List(elem)))
                   }
                 progress.echo("FAILED to process theory " + name)
-                msgs.foreach(progress.echo_error_message)
+                msgs.foreach(progress.echo_error_message(_))
                 consumer_bad_theories.change(Bad_Theory(name, status, msgs) :: _)
               }
               true