src/Pure/System/isabelle_process.scala
changeset 44705 089fcaf94c00
parent 44697 b99dfee76538
child 44732 c58b69d888ac
     1.1 --- a/src/Pure/System/isabelle_process.scala	Sun Sep 04 19:06:45 2011 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Sun Sep 04 19:12:06 2011 +0200
     1.3 @@ -99,12 +99,10 @@
     1.4    {
     1.5      if (kind == Markup.INIT) rm_fifos()
     1.6      if (kind == Markup.RAW)
     1.7 -      xml_cache.cache_ignore(
     1.8 -        new Result(XML.Elem(Markup(kind, props), body)))((result: Result) => receiver ! result)
     1.9 +      receiver ! new Result(XML.Elem(Markup(kind, props), body))
    1.10      else {
    1.11        val msg = XML.Elem(Markup(kind, props), Isar_Document.clean_message(body))
    1.12 -      xml_cache.cache_tree(msg)((message: XML.Tree) =>
    1.13 -        receiver ! new Result(message.asInstanceOf[XML.Elem]))
    1.14 +      receiver ! new Result(xml_cache.cache_tree(msg).asInstanceOf[XML.Elem])
    1.15      }
    1.16    }
    1.17