src/Pure/ML/ml_console.scala

--- a/src/Pure/ML/ml_console.scala	Tue Feb 28 17:16:50 2023 +0100
+++ b/src/Pure/ML/ml_console.scala	Tue Feb 28 17:42:13 2023 +0100
@@ -71,12 +71,14 @@
             options, logic, dirs = dirs, include_sessions = include_sessions).check_errors
         }
 
+      val session_heaps =
+        if (raw_ml_system) Nil
+        else ML_Process.session_heaps(store, session_background, logic = logic)
+
       // process loop
       val process =
-        ML_Process(store, options, session_background,
-          logic = logic, args = List("-i"), redirect = true,
-          modes = if (raw_ml_system) Nil else modes ::: List("ASCII"),
-          raw_ml_system = raw_ml_system)
+        ML_Process(options, session_background, session_heaps, args = List("-i"), redirect = true,
+          modes = if (raw_ml_system) Nil else modes ::: List("ASCII"))
 
       POSIX_Interrupt.handler { process.interrupt() } {
         new TTY_Loop(process.stdin, process.stdout).join()