src/Pure/ML/ml_console.scala

 
       val more_args = getopts(args)
       if (more_args.nonEmpty) getopts.usage()
 
 
+      val sessions_structure = Sessions.load_structure(options, dirs = dirs)
+
       // build logic
       if (!no_build && !raw_ml_system) {
         val progress = new Console_Progress()
         val rc =
           progress.interrupt_handler {

         if (rc != 0) sys.exit(rc)
       }
 
       // process loop
       val process =
-        ML_Process(options, logic = logic, args = List("-i"), dirs = dirs, redirect = true,
+        ML_Process(options, sessions_structure, logic = logic, args = List("-i"), redirect = true,
           modes = if (raw_ml_system) Nil else modes ::: List("ASCII"),
           raw_ml_system = raw_ml_system,
           store = Some(Sessions.store(options)),
           session_base =
             if (raw_ml_system) None