src/Pure/Tools/dump.scala

--- a/src/Pure/Tools/dump.scala	Fri Sep 21 14:31:07 2018 +0200
+++ b/src/Pure/Tools/dump.scala	Fri Sep 21 16:47:03 2018 +0200
@@ -113,7 +113,7 @@
       deps.sessions_structure.imports_topological_order
 
     val use_theories =
-      for { (_, name) <- deps.used_theories_condition(progress.echo_warning) }
+      for { (_, name) <- deps.used_theories_condition(dump_options, progress.echo_warning) }
       yield name.theory