src/Pure/PIDE/prover.scala

--- a/src/Pure/PIDE/prover.scala	Sat Apr 01 19:17:15 2017 +0200
+++ b/src/Pure/PIDE/prover.scala	Sat Apr 01 22:03:24 2017 +0200
@@ -62,7 +62,7 @@
 }
 
 
-abstract class Prover(
+class Prover(
   receiver: Prover.Receiver,
   xml_cache: XML.Cache,
   channel: System_Channel,
@@ -232,7 +232,7 @@
             else done = true
           }
           if (result.length > 0) {
-            output(markup, Nil, List(XML.Text(decode(result.toString))))
+            output(markup, Nil, List(XML.Text(Symbol.decode(result.toString))))
             result.length = 0
           }
           else {
@@ -302,7 +302,7 @@
       def read_chunk(): XML.Body =
       {
         val (buf, n) = read_chunk_bytes()
-        YXML.parse_body_failsafe(UTF8.decode_chars(decode, buf, 0, n))
+        YXML.parse_body_failsafe(UTF8.decode_chars(Symbol.decode, buf, 0, n))
       }
 
       try {