Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more robust;
authorwenzelm
Fri, 06 Sep 2019 15:45:05 +0200
changeset 70659 44588e355ca8
parent 70658 4655897b8287
child 70660 373d95cf1b98
more robust;
src/Pure/Tools/dump.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/dump.scala	Fri Sep 06 11:32:38 2019 +0200
+++ b/src/Pure/Tools/dump.scala	Fri Sep 06 15:45:05 2019 +0200
@@ -131,7 +131,7 @@
     val deps: Sessions.Deps =
       Sessions.load_structure(dump_options, dirs = dirs, select_dirs = select_dirs).
         selection_deps(dump_options, selection, progress = progress,
-          uniform_session = true, loading_sessions = true)
+          uniform_session = true, loading_sessions = true).check_errors
 
     val resources: Headless.Resources =
       Headless.Resources.make(dump_options, logic, progress = progress, log = log,
isabelle