src/Pure/Tools/imports.scala
changeset 66962 e1bde71bace6
parent 66961 f855f9aed72f
child 66966 f3f9a492bee6
     1.1 --- a/src/Pure/Tools/imports.scala	Tue Oct 31 17:03:57 2017 +0100
     1.2 +++ b/src/Pure/Tools/imports.scala	Tue Oct 31 17:15:49 2017 +0100
     1.3 @@ -103,8 +103,8 @@
     1.4      val (selected, selected_sessions) = full_sessions.selection(selection)
     1.5  
     1.6      val deps =
     1.7 -      Sessions.deps(selected_sessions, progress = progress, verbose = verbose,
     1.8 -        global_theories = full_sessions.global_theories).check_errors
     1.9 +      Sessions.deps(selected_sessions, full_sessions.global_theories,
    1.10 +        progress = progress, verbose = verbose).check_errors
    1.11  
    1.12      val root_keywords = Sessions.root_syntax.keywords
    1.13