# HG changeset patch
# User wenzelm
# Date 1527970269 -7200
# Node ID 67a4db47e4f6fb3cf2524ff6a41763d0e057e008
# Parent  93d3c967802ef5c4ccb5d3e4278573a8b71b93a3
more args;

diff -r 93d3c967802e -r 67a4db47e4f6 src/Pure/Tools/dump.scala
--- a/src/Pure/Tools/dump.scala	Sat Jun 02 21:59:11 2018 +0200
+++ b/src/Pure/Tools/dump.scala	Sat Jun 02 22:11:09 2018 +0200
@@ -12,7 +12,11 @@
   /* aspects */
 
   sealed case class Aspect_Args(
-    options: Options, progress: Progress, output_dir: Path, result: Thy_Resources.Theories_Result)
+    options: Options,
+    progress: Progress,
+    output_dir: Path,
+    deps: Sessions.Deps,
+    result: Thy_Resources.Theories_Result)
   {
     def write(node_name: Document.Node.Name, file_name: Path, bytes: Bytes)
     {
@@ -125,7 +129,7 @@
 
     /* dump aspects */
 
-    val aspect_args = Aspect_Args(dump_options, progress, output_dir, theories_result)
+    val aspect_args = Aspect_Args(dump_options, progress, output_dir, deps, theories_result)
     aspects.foreach(_.operation(aspect_args))
 
     session_result