Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/dump.scala
changeset 69014 a2c042364efc
parent 69013 bb4e4c253ebe
child 69025 fa7a1be0fab2 
--- a/src/Pure/Tools/dump.scala	Tue Sep 18 11:14:30 2018 +0200
+++ b/src/Pure/Tools/dump.scala	Tue Sep 18 23:07:34 2018 +0200
@@ -112,7 +112,7 @@
     val include_sessions =
       deps.sessions_structure.imports_topological_order
 
-    val use_theories = deps.used_theories_conditions(progress.echo_warning)
+    val use_theories = deps.used_theories_condition(progress.echo_warning).map(_.theory)
 
 
     /* dump aspects asynchronously */
isabelle