src/Pure/Tools/imports.scala
changeset 66571 0fdeb24e535e
parent 66449 1be102db1598
child 66575 191048506504
     1.1 --- a/src/Pure/Tools/imports.scala	Thu Aug 31 11:42:10 2017 +0200
     1.2 +++ b/src/Pure/Tools/imports.scala	Thu Aug 31 16:30:46 2017 +0200
     1.3 @@ -88,7 +88,7 @@
     1.4      val deps =
     1.5        Sessions.deps(selected_sessions, progress = progress, verbose = verbose,
     1.6          global_theories = full_sessions.global_theories,
     1.7 -        all_known = true)
     1.8 +        all_known = true).check_errors
     1.9  
    1.10      val root_keywords = Sessions.root_syntax.keywords
    1.11