changeset 69025 | fa7a1be0fab2 |
parent 69014 | a2c042364efc |
child 69026 | 6e2f9f62aafd |
--- 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 */