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/PIDE/headless.scala
changeset 82752 20ffc02d0b0e
parent 82744 0ca8b1861fa3 
--- 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(
isabelle