--- a/src/Pure/PIDE/prover.scala Mon Mar 13 23:14:44 2017 +0100
+++ b/src/Pure/PIDE/prover.scala Mon Mar 13 23:24:20 2017 +0100
@@ -75,13 +75,12 @@
abstract class Prover(
receiver: Prover.Receiver,
+ xml_cache: XML.Cache,
system_channel: System_Channel,
system_process: Prover.System_Process) extends Protocol
{
/** receiver output **/
- val xml_cache: XML.Cache = new XML.Cache()
-
private def system_output(text: String)
{
receiver(new Prover.Output(XML.Elem(Markup(Markup.SYSTEM, Nil), List(XML.Text(text)))))