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/Build/build_job.scala
changeset 80463 3490a9c96d2f
parent 80462 7a1f9e571046
child 80872 320bcbf34849 
--- a/src/Pure/Build/build_job.scala	Mon Jul 01 12:40:54 2024 +0200
+++ b/src/Pure/Build/build_job.scala	Mon Jul 01 12:59:18 2024 +0200
@@ -229,7 +229,7 @@
                   try {
                     val (rc, errs) = {
                       import XML.Decode._
-                      pair(int, list(x => x))(Symbol.decode_yxml(msg.text))
+                      pair(int, list(self))(Symbol.decode_yxml(msg.text))
                     }
                     val errors =
                       for (err <- errs) yield {
isabelle