| changeset 71969 | 842dd262540b |
| parent 71747 | 1dd514c8c1df |
| child 73031 | f93f0597f4fb |
--- a/src/Pure/PIDE/prover.scala Sat Jun 20 11:01:57 2020 +0200 +++ b/src/Pure/PIDE/prover.scala Sat Jun 20 14:36:27 2020 +0200 @@ -77,7 +77,7 @@ private def protocol_output(props: Properties.T, bytes: Bytes) { - receiver(new Prover.Protocol_Output(props, bytes)) + receiver(new Prover.Protocol_Output(xml_cache.props(props), bytes)) } private def output(kind: String, props: Properties.T, body: XML.Body)