--- a/src/Pure/Tools/dump.scala Sat Dec 29 14:58:51 2018 +0100
+++ b/src/Pure/Tools/dump.scala Sat Dec 29 16:11:24 2018 +0100
@@ -150,11 +150,13 @@
/* run session */
- val session =
- Headless.start_session(dump_options, logic, progress = progress, log = log,
+ val resources =
+ Headless.Resources.make(dump_options, logic, progress = progress, log = log,
session_dirs = dirs ::: select_dirs,
include_sessions = deps.sessions_structure.imports_topological_order)
+ val session = resources.start_session(progress = progress)
+
try {
val use_theories_result =
session.use_theories(use_theories, progress = progress, commit = Some(Consumer.apply _))