src/Pure/Tools/build_job.scala

--- a/src/Pure/Tools/build_job.scala	Mon Nov 08 09:31:26 2021 +0000
+++ b/src/Pure/Tools/build_job.scala	Mon Nov 08 12:45:35 2021 +0100
@@ -241,7 +241,7 @@
         new Resources(sessions_structure, base, log = log, command_timings = command_timings0)
       val session =
         new Session(options, resources) {
-          override val cache: XML.Cache = store.cache
+          override val cache: Term.Cache = store.cache
 
           override def build_blobs_info(name: Document.Node.Name): Command.Blobs_Info =
           {