src/Pure/PIDE/prover.scala

--- a/src/Pure/PIDE/prover.scala	Sat Jan 02 20:56:08 2021 +0100
+++ b/src/Pure/PIDE/prover.scala	Sat Jan 02 22:22:34 2021 +0100
@@ -64,7 +64,7 @@
 
 class Prover(
   receiver: Prover.Receiver,
-  xml_cache: XML.Cache,
+  cache: XML.Cache,
   channel: System_Channel,
   process: Bash.Process) extends Protocol
 {
@@ -77,14 +77,14 @@
 
   private def protocol_output(props: Properties.T, bytes: Bytes)
   {
-    receiver(new Prover.Protocol_Output(xml_cache.props(props), bytes))
+    receiver(new Prover.Protocol_Output(cache.props(props), bytes))
   }
 
   private def output(kind: String, props: Properties.T, body: XML.Body)
   {
     val main = XML.Elem(Markup(kind, props), Protocol_Message.clean_reports(body))
     val reports = Protocol_Message.reports(props, body)
-    for (msg <- main :: reports) receiver(new Prover.Output(xml_cache.elem(msg)))
+    for (msg <- main :: reports) receiver(new Prover.Output(cache.elem(msg)))
   }
 
   private def exit_message(result: Process_Result)