# HG changeset patch
# User wenzelm
# Date 1509465837 -3600
# Node ID f855f9aed72f29ea2e16cecffcb9ea0fcbc144d9
# Parent  d62f1f03868a7395f9790f44951ba7af2146fb69
tuned;

diff -r d62f1f03868a -r f855f9aed72f src/Pure/ML/ml_process.scala
--- 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)))
       }
diff -r d62f1f03868a -r f855f9aed72f src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Tue Oct 31 16:42:20 2017 +0100
+++ b/src/Pure/Tools/build.scala	Tue Oct 31 17:03:57 2017 +0100
@@ -380,7 +380,8 @@
 
     /* session selection and dependencies */
 
-    val full_sessions = Sessions.load(build_options, dirs, select_dirs)
+    val full_sessions =
+      Sessions.load(build_options, dirs = dirs, select_dirs = select_dirs)
 
     def sources_stamp(deps: Sessions.Deps, name: String): String =
     {
diff -r d62f1f03868a -r f855f9aed72f src/Pure/Tools/imports.scala
--- a/src/Pure/Tools/imports.scala	Tue Oct 31 16:42:20 2017 +0100
+++ b/src/Pure/Tools/imports.scala	Tue Oct 31 17:03:57 2017 +0100
@@ -99,7 +99,7 @@
     select_dirs: List[Path] = Nil,
     verbose: Boolean = false) =
   {
-    val full_sessions = Sessions.load(options, dirs, select_dirs)
+    val full_sessions = Sessions.load(options, dirs = dirs, select_dirs = select_dirs)
     val (selected, selected_sessions) = full_sessions.selection(selection)
 
     val deps =
@@ -313,7 +313,7 @@
       }
       else if (operation_update && incremental_update) {
         val (selected, selected_sessions) =
-          Sessions.load(options, dirs, select_dirs).selection(selection)
+          Sessions.load(options, dirs = dirs, select_dirs = select_dirs).selection(selection)
         selected_sessions.imports_topological_order.foreach(info =>
         {
           imports(options, operation_update = operation_update, progress = progress,