# HG changeset patch
# User wenzelm
# Date 1489859834 -3600
# Node ID 3024fcd5a7f48e3f1ab6337b8810325a927b2f97
# Parent  8f58102afa220f21ce7b1af6064aaef86b34a52c
proper message text (see also fa62e095d8f1);

diff -r 8f58102afa22 -r 3024fcd5a7f4 src/Pure/PIDE/prover.scala
--- a/src/Pure/PIDE/prover.scala	Sat Mar 18 16:43:40 2017 +0100
+++ b/src/Pure/PIDE/prover.scala	Sat Mar 18 18:57:14 2017 +0100
@@ -68,7 +68,7 @@
   class Protocol_Output(props: Properties.T, val bytes: Bytes)
     extends Output(XML.Elem(Markup(Markup.PROTOCOL, props), Nil))
   {
-    lazy val text: String = bytes.toString
+    lazy val text: String = bytes.text
   }
 }