src/Pure/System/isabelle_process.scala
changeset 43745 562e35bc351e
parent 43721 fad8634cee62
child 43746 a41f618c641d
     1.1 --- a/src/Pure/System/isabelle_process.scala	Sun Jul 10 23:46:05 2011 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Mon Jul 11 10:27:50 2011 +0200
     1.3 @@ -90,7 +90,7 @@
     1.4      receiver ! new Result(XML.Elem(Markup(Markup.SYSTEM, Nil), List(XML.Text(text))))
     1.5    }
     1.6  
     1.7 -  private val xml_cache = new XML.Cache(131071)
     1.8 +  private val xml_cache = new XML.Cache()
     1.9  
    1.10    private def put_result(kind: String, props: List[(String, String)], body: XML.Body)
    1.11    {