src/Pure/System/session.scala
changeset 38446 9d59dab38fef
parent 38425 e467db701d78
child 38569 9d480f6a2589
     1.1 --- a/src/Pure/System/session.scala	Mon Aug 16 17:04:22 2010 +0200
     1.2 +++ b/src/Pure/System/session.scala	Mon Aug 16 18:20:36 2010 +0200
     1.3 @@ -199,8 +199,6 @@
     1.4  
     1.5      /* main loop */
     1.6  
     1.7 -    val xml_cache = new XML.Cache(131071)
     1.8 -
     1.9      loop {
    1.10        react {
    1.11          case Started(timeout, args) =>
    1.12 @@ -223,7 +221,7 @@
    1.13            handle_change(change)
    1.14  
    1.15          case result: Isabelle_Process.Result =>
    1.16 -          handle_result(result.cache(xml_cache))
    1.17 +          handle_result(result)
    1.18  
    1.19          case TIMEOUT =>  // FIXME clarify!
    1.20