src/Pure/ML/ml_process.scala

--- a/src/Pure/ML/ml_process.scala	Thu Oct 12 05:37:58 2017 +0200
+++ b/src/Pure/ML/ml_process.scala	Thu Oct 12 11:25:06 2017 +0200
@@ -34,7 +34,7 @@
         val selection = Sessions.Selection(sessions = List(logic_name))
         val (_, selected_sessions) =
           sessions.getOrElse(Sessions.load(options, dirs)).selection(selection)
-        (selected_sessions.build_ancestors(logic_name) ::: List(logic_name)).
+        selected_sessions.build_requirements(List(logic_name)).
           map(a => File.platform_path(store.heap(a)))
       }