# HG changeset patch
# User wenzelm
# Date 1536340721 -7200
# Node ID 10cbb5d9908159b2823e3d5309a8ec454340bf4f
# Parent  835e5d45359ce2b7ca2302191fa4aba203af8600
tuned signature;

diff -r 835e5d45359c -r 10cbb5d99081 src/Pure/Tools/dump.scala
--- a/src/Pure/Tools/dump.scala	Fri Sep 07 19:11:34 2018 +0200
+++ b/src/Pure/Tools/dump.scala	Fri Sep 07 19:18:41 2018 +0200
@@ -16,13 +16,12 @@
     progress: Progress,
     deps: Sessions.Deps,
     output_dir: Path,
-    node_name: Document.Node.Name,
-    node_status: Document_Status.Node_Status,
-    snapshot: Document.Snapshot)
+    snapshot: Document.Snapshot,
+    node_status: Document_Status.Node_Status)
   {
     def write(file_name: Path, bytes: Bytes)
     {
-      val path = output_dir + Path.basic(node_name.theory) + file_name
+      val path = output_dir + Path.basic(snapshot.node_name.theory) + file_name
       Isabelle_System.mkdirs(path.dir)
       Bytes.write(path, bytes)
     }
@@ -128,8 +127,7 @@
               val (snapshot, node_status) = args
               if (node_status.ok) {
                 val aspect_args =
-                  Aspect_Args(dump_options, progress, deps, output_dir,
-                    snapshot.node_name, node_status, snapshot)
+                  Aspect_Args(dump_options, progress, deps, output_dir, snapshot, node_status)
                 aspects.foreach(_.operation(aspect_args))
               }
               for ((tree, pos) <- snapshot.messages if Protocol.is_error(tree)) {