--- a/src/Pure/ML/ml_process.scala Tue Oct 31 16:42:20 2017 +0100
+++ b/src/Pure/ML/ml_process.scala Tue Oct 31 17:03:57 2017 +0100
@@ -33,7 +33,7 @@
else {
val selection = Sessions.Selection(sessions = List(logic_name))
val (_, selected_sessions) =
- sessions.getOrElse(Sessions.load(options, dirs)).selection(selection)
+ sessions.getOrElse(Sessions.load(options, dirs = dirs)).selection(selection)
selected_sessions.build_requirements(List(logic_name)).
map(a => File.platform_path(store.heap(a)))
}