Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/imports.scala
changeset 66571 0fdeb24e535e
parent 66449 1be102db1598
child 66575 191048506504 
--- a/src/Pure/Tools/imports.scala	Thu Aug 31 11:42:10 2017 +0200
+++ b/src/Pure/Tools/imports.scala	Thu Aug 31 16:30:46 2017 +0200
@@ -88,7 +88,7 @@
     val deps =
       Sessions.deps(selected_sessions, progress = progress, verbose = verbose,
         global_theories = full_sessions.global_theories,
-        all_known = true)
+        all_known = true).check_errors
 
     val root_keywords = Sessions.root_syntax.keywords
isabelle