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/Tools/VSCode/src/language_server.scala
changeset 82752 20ffc02d0b0e
parent 82744 0ca8b1861fa3
child 82757 9fea73244f06 
--- a/src/Tools/VSCode/src/language_server.scala	Tue Jun 24 21:58:20 2025 +0200
+++ b/src/Tools/VSCode/src/language_server.scala	Tue Jun 24 22:08:20 2025 +0200
@@ -294,7 +294,7 @@
     for ((session_background, session) <- try_session) {
       val store = Store(options)
       val session_heaps =
-        ML_Process.session_heaps(store, session_background, logic = session_background.session_name)
+        store.session_heaps(session_background, logic = session_background.session_name)
 
       session_.change(_ => Some(session))
isabelle