src/Pure/Tools/imports.scala
changeset 66575 191048506504
parent 66571 0fdeb24e535e
child 66671 41b64e53b6a1
     1.1 --- a/src/Pure/Tools/imports.scala	Thu Aug 31 17:31:56 2017 +0200
     1.2 +++ b/src/Pure/Tools/imports.scala	Thu Aug 31 19:06:14 2017 +0200
     1.3 @@ -87,8 +87,7 @@
     1.4  
     1.5      val deps =
     1.6        Sessions.deps(selected_sessions, progress = progress, verbose = verbose,
     1.7 -        global_theories = full_sessions.global_theories,
     1.8 -        all_known = true).check_errors
     1.9 +        global_theories = full_sessions.global_theories).check_errors
    1.10  
    1.11      val root_keywords = Sessions.root_syntax.keywords
    1.12