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/Tools/dump.scala
changeset 77509 3bc49507bae5
parent 77477 f376aebca9c1
child 77510 f5d6cd98b16a 
--- 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
isabelle