--- a/src/Pure/Thy/export_theory.scala Sat May 19 20:05:13 2018 +0200
+++ b/src/Pure/Thy/export_theory.scala Sat May 19 20:19:15 2018 +0200
@@ -32,9 +32,8 @@
using(store.open_database(session_name))(db =>
{
db.transaction {
- Export.read_theory_names(db, session_name).iterator.map(_._1).toSet.iterator.
- map((theory_name: String) =>
- read_theory(db, session_name, theory_name, types = types, consts = consts)).toList
+ Export.read_theory_names(db, session_name).map((theory_name: String) =>
+ read_theory(db, session_name, theory_name, types = types, consts = consts))
}
})