diff -r 84534cc9c97e -r 20ffc02d0b0e src/Pure/PIDE/headless.scala
--- a/src/Pure/PIDE/headless.scala	Tue Jun 24 21:58:20 2025 +0200
+++ b/src/Pure/PIDE/headless.scala	Tue Jun 24 22:08:20 2025 +0200
@@ -621,7 +621,7 @@
       val session_name = session_background.session_name
       val session = new Session(session_name, options, resources)
 
-      val session_heaps = ML_Process.session_heaps(store, session_background, logic = session_name)
+      val session_heaps = store.session_heaps(session_background, logic = session_name)
 
       progress.echo("Starting session " + session_name + " ...")
       Isabelle_Process.start(