src/Pure/Tools/dump.scala

--- a/src/Pure/Tools/dump.scala	Thu Sep 20 23:05:18 2018 +0200
+++ b/src/Pure/Tools/dump.scala	Fri Sep 21 14:31:07 2018 +0200
@@ -112,7 +112,9 @@
     val include_sessions =
       deps.sessions_structure.imports_topological_order
 
-    val use_theories = deps.used_theories_condition(progress.echo_warning).map(_.theory)
+    val use_theories =
+      for { (_, name) <- deps.used_theories_condition(progress.echo_warning) }
+      yield name.theory
 
 
     /* dump aspects asynchronously */