src/Pure/System/isabelle_process.scala

--- a/src/Pure/System/isabelle_process.scala	Fri Dec 18 11:28:24 2009 +0100
+++ b/src/Pure/System/isabelle_process.scala	Fri Dec 18 11:44:25 2009 +0100
@@ -101,8 +101,8 @@
     def is_control = Kind.is_control(kind)
     def is_system = Kind.is_system(kind)
 
-    def cache(table: XML.Cache): Result =
-      new Result(kind, table.cache_props(props), table(body))
+    def cache(c: XML.Cache): Result =
+      new Result(kind, c.cache_props(props), c.cache_trees(body))
   }
 }