# HG changeset patch
# User nipkow
# Date 1750951833 -7200
# Node ID 59b937edcff8a7c10e00fb290863855b1b915d46
# Parent  4a1320dac3f34426ad4a1a069a60987ba5946f11# Parent  40e4e955c846e25e4f74bf4b70fb15fe2aac27ac
merged

diff -r 40e4e955c846 -r 59b937edcff8 src/Pure/Build/build_job.scala
--- a/src/Pure/Build/build_job.scala	Thu Jun 26 17:30:16 2025 +0200
+++ b/src/Pure/Build/build_job.scala	Thu Jun 26 17:30:33 2025 +0200
@@ -172,7 +172,7 @@
 
           val session =
             new Session(options) {
-              override val store: Store = store
+              override val store: Store = build_context.store
 
               override val resources: Resources =
                 new Resources(session_background, log = log,
diff -r 40e4e955c846 -r 59b937edcff8 src/Pure/PIDE/session.scala
--- a/src/Pure/PIDE/session.scala	Thu Jun 26 17:30:16 2025 +0200
+++ b/src/Pure/PIDE/session.scala	Thu Jun 26 17:30:33 2025 +0200
@@ -130,7 +130,7 @@
   def print_now(): String = (Time.now() - init_time).toString
 
   val store: Store = Store(_session_options)
-  def cache: Rich_Text.Cache = if (store == null) Rich_Text.Cache.make() else store.cache
+  def cache: Rich_Text.Cache = store.cache
 
   def build_blobs_info(name: Document.Node.Name): Command.Blobs_Info = Command.Blobs_Info.empty
   def build_blobs(name: Document.Node.Name): Document.Blobs = Document.Blobs.empty
diff -r 40e4e955c846 -r 59b937edcff8 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Thu Jun 26 17:30:16 2025 +0200
+++ b/src/Pure/ROOT.ML	Thu Jun 26 17:30:33 2025 +0200
@@ -1,6 +1,6 @@
 (*  Title:      Pure/ROOT.ML
     Author:     Makarius
-    UUID:       afd90a19-201a-461b-b4ef-b3adfa88969d
+    UUID:       a83d12be-3568-49ab-9484-a84de5cee2bf
 
 Main entry point for the Isabelle/Pure bootstrap process.