src/Pure/Tools/ml_process.scala

--- a/src/Pure/Tools/ml_process.scala	Thu Apr 06 21:37:13 2017 +0200
+++ b/src/Pure/Tools/ml_process.scala	Fri Apr 07 10:47:25 2017 +0200
@@ -30,8 +30,9 @@
     val heaps: List[String] =
       if (raw_ml_system) Nil
       else {
+        val selection = Sessions.Selection(sessions = List(logic_name))
         val (_, selected_sessions) =
-          sessions.getOrElse(Sessions.load(options, dirs)).selection(sessions = List(logic_name))
+          sessions.getOrElse(Sessions.load(options, dirs)).selection(selection)
         (selected_sessions.ancestors(logic_name) ::: List(logic_name)).
           map(a => File.platform_path(store.heap(a)))
       }