diff -r d9f2cf4fc002 -r aeffd8f1f079 src/Pure/ML/ml_console.scala
--- a/src/Pure/ML/ml_console.scala	Fri May 18 16:30:20 2018 +0200
+++ b/src/Pure/ML/ml_console.scala	Fri May 18 17:09:55 2018 +0200
@@ -69,7 +69,8 @@
       val process =
         ML_Process(options, logic = logic, args = List("-i"), dirs = dirs, redirect = true,
           modes = if (raw_ml_system) Nil else modes ::: List("ASCII"),
-          raw_ml_system = raw_ml_system, store = Sessions.store(system_mode),
+          raw_ml_system = raw_ml_system,
+          store = Some(Sessions.store(options, system_mode)),
           session_base =
             if (raw_ml_system) None
             else Some(Sessions.base_info(options, logic, dirs = dirs).check_base))