src/Pure/System/isabelle_process.scala
changeset 68169 395432e7516e
parent 67178 70576478bda9
child 68204 a554da2811f2
     1.1 --- a/src/Pure/System/isabelle_process.scala	Sun May 13 16:33:11 2018 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Sun May 13 16:37:36 2018 +0200
     1.3 @@ -42,7 +42,7 @@
     1.4      cwd: JFile = null,
     1.5      env: Map[String, String] = Isabelle_System.settings(),
     1.6      receiver: Prover.Receiver = (msg: Prover.Message) => Output.writeln(msg.toString, stdout = true),
     1.7 -    xml_cache: XML.Cache = new XML.Cache(),
     1.8 +    xml_cache: XML.Cache = XML.make_cache(),
     1.9      sessions: Option[Sessions.Structure] = None,
    1.10      store: Sessions.Store = Sessions.store()): Prover =
    1.11    {