diff -r 421137ff146a -r b045b40a65cc src/Pure/ML/ml_console.scala
--- a/src/Pure/ML/ml_console.scala	Wed Dec 21 13:38:41 2022 +0100
+++ b/src/Pure/ML/ml_console.scala	Wed Dec 21 13:52:44 2022 +0100
@@ -60,7 +60,7 @@
         if (rc != Process_Result.RC.ok) sys.exit(rc)
       }
 
-      val background =
+      val session_background =
         if (raw_ml_system) {
           Sessions.Background(
             base = Sessions.Base.bootstrap,
@@ -73,7 +73,7 @@
 
       // process loop
       val process =
-        ML_Process(options, background, store,
+        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)