src/Pure/Tools/build.scala

--- a/src/Pure/Tools/build.scala	Sat Apr 01 19:16:19 2017 +0200
+++ b/src/Pure/Tools/build.scala	Sat Apr 01 19:17:15 2017 +0200
@@ -142,7 +142,7 @@
     private def build_session_finished(msg: Prover.Protocol_Output): Boolean =
     {
       val error_message =
-        try { Pretty.string_of(YXML.parse_body(Symbol.decode(msg.text))) }
+        try { Pretty.string_of(Symbol.decode_yxml(msg.text)) }
         catch { case ERROR(msg) => msg }
       result_error.fulfill(error_message)
       session.send_stop()