src/Pure/ML/ml_console.scala

--- a/src/Pure/ML/ml_console.scala	Tue Jun 24 21:58:20 2025 +0200
+++ b/src/Pure/ML/ml_console.scala	Tue Jun 24 22:08:20 2025 +0200
@@ -73,7 +73,7 @@
 
       val session_heaps =
         if (raw_ml_system) Nil
-        else ML_Process.session_heaps(store, session_background, logic = logic)
+        else store.session_heaps(session_background, logic = logic)
 
       // process loop
       val process =