--- a/src/Pure/Tools/imports.scala Tue Nov 07 16:44:25 2017 +0100
+++ b/src/Pure/Tools/imports.scala Tue Nov 07 16:50:26 2017 +0100
@@ -99,7 +99,7 @@
select_dirs: List[Path] = Nil,
verbose: Boolean = false) =
{
- val full_sessions = Sessions.load(options, dirs = dirs, select_dirs = select_dirs)
+ val full_sessions = Sessions.load_structure(options, dirs = dirs, select_dirs = select_dirs)
val selected_sessions = full_sessions.selection(selection)
val deps =
@@ -312,8 +312,8 @@
verbose = verbose)
}
else if (operation_update && incremental_update) {
- Sessions.load(options, dirs = dirs, select_dirs = select_dirs).selection(selection).
- imports_topological_order.foreach(name =>
+ Sessions.load_structure(options, dirs = dirs, select_dirs = select_dirs).
+ selection(selection).imports_topological_order.foreach(name =>
{
imports(options, operation_update = operation_update, progress = progress,
update_message = " for session " + quote(name),