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 args;
authorwenzelm
Sat, 02 Jun 2018 22:11:09 +0200
changeset 68355 67a4db47e4f6
parent 68354 93d3c967802e
child 68356 46d5a9f428e1
more args;
src/Pure/Tools/dump.scala file | annotate | diff | comparison | revisions 
--- 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
isabelle