# HG changeset patch
# User wenzelm
# Date 1552319242 -3600
# Node ID a9849222844d122d16863e26aa6cc160fe856111
# Parent  be7243b97c41dfd7dcb7372adc1f3b86aba1a315
tuned signature;

diff -r be7243b97c41 -r a9849222844d src/Pure/Tools/dump.scala
--- a/src/Pure/Tools/dump.scala	Mon Mar 11 16:23:30 2019 +0100
+++ b/src/Pure/Tools/dump.scala	Mon Mar 11 16:47:22 2019 +0100
@@ -91,7 +91,10 @@
   /* session */
 
   sealed case class Args(
-    deps: Sessions.Deps, snapshot: Document.Snapshot, status: Document_Status.Node_Status)
+    session: Headless.Session,
+    deps: Sessions.Deps,
+    snapshot: Document.Snapshot,
+    status: Document_Status.Node_Status)
   {
     def print_node: String = snapshot.node_name.toString
 
@@ -105,6 +108,9 @@
     process_theory: Args => Unit,
     progress: Progress = No_Progress)
   {
+    val session = resources.start_session(progress = progress)
+
+
     /* asynchronous consumer */
 
     object Consumer
@@ -123,7 +129,7 @@
               val (snapshot, status) = args
               val name = snapshot.node_name
               if (status.ok) {
-                try { process_theory(Args(deps, snapshot, status)) }
+                try { process_theory(Args(session, deps, snapshot, status)) }
                 catch {
                   case exn: Throwable if !Exn.is_interrupt(exn) =>
                   val msg = Exn.message(exn)
@@ -159,7 +165,6 @@
 
     /* run session */
 
-    val session = resources.start_session(progress = progress)
     try {
       val use_theories = resources.used_theories(deps).map(_.theory)
       val use_theories_result =