src/Pure/Tools/build.scala
changeset 65344 b99283eed13c
parent 65320 52861eebf58d
child 65359 9ca34f0407a9
     1.1 --- a/src/Pure/Tools/build.scala	Sat Apr 01 19:16:19 2017 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Sat Apr 01 19:17:15 2017 +0200
     1.3 @@ -142,7 +142,7 @@
     1.4      private def build_session_finished(msg: Prover.Protocol_Output): Boolean =
     1.5      {
     1.6        val error_message =
     1.7 -        try { Pretty.string_of(YXML.parse_body(Symbol.decode(msg.text))) }
     1.8 +        try { Pretty.string_of(Symbol.decode_yxml(msg.text)) }
     1.9          catch { case ERROR(msg) => msg }
    1.10        result_error.fulfill(error_message)
    1.11        session.send_stop()