src/Pure/Admin/build_log.scala

--- a/src/Pure/Admin/build_log.scala	Thu Jun 27 23:53:31 2024 +0200
+++ b/src/Pure/Admin/build_log.scala	Fri Jun 28 00:15:34 2024 +0200
@@ -657,7 +657,7 @@
   def uncompress_errors(bytes: Bytes, cache: XML.Cache = XML.Cache.make()): List[String] =
     if (bytes.is_empty) Nil
     else {
-      XML.Decode.list(YXML.string_of_body)(
+      XML.Decode.list(YXML.string_of_body(_))(
         YXML.parse_body(bytes.uncompress(cache = cache.compress).text, cache = cache))
     }