--- a/src/Pure/Tools/ml_process.scala Fri Apr 07 10:47:25 2017 +0200
+++ b/src/Pure/Tools/ml_process.scala Fri Apr 07 11:50:49 2017 +0200
@@ -33,7 +33,7 @@
val selection = Sessions.Selection(sessions = List(logic_name))
val (_, selected_sessions) =
sessions.getOrElse(Sessions.load(options, dirs)).selection(selection)
- (selected_sessions.ancestors(logic_name) ::: List(logic_name)).
+ (selected_sessions.build_ancestors(logic_name) ::: List(logic_name)).
map(a => File.platform_path(store.heap(a)))
}