Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Build/build_job.scala
changeset 82742 085e624a1303
parent 82741 0c83a22d8556
child 82744 0ca8b1861fa3 
--- a/src/Pure/Build/build_job.scala	Mon Jun 23 14:10:59 2025 +0200
+++ b/src/Pure/Build/build_job.scala	Mon Jun 23 14:42:40 2025 +0200
@@ -177,7 +177,7 @@
 
           val session =
             new Session(options, resources) {
-              override val cache: Term.Cache = store.cache
+              override val cache: Rich_Text.Cache = store.cache
 
               override def build_blobs_info(node_name: Document.Node.Name): Command.Blobs_Info =
                 Command.Blobs_Info.make(session_blobs(node_name))
isabelle