src/Pure/Tools/imports.scala

     selection: Sessions.Selection = Sessions.Selection.empty,
     dirs: List[Path] = Nil,
     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 =
       Sessions.deps(selected_sessions, progress = progress, verbose = verbose,
         global_theories = full_sessions.global_theories).check_errors

           progress = progress, selection = selection, dirs = dirs, select_dirs = select_dirs,
           verbose = verbose)
       }
       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,
             update_message = " for session " + quote(info.name),
             selection = Sessions.Selection(sessions = List(info.name)),