# HG changeset patch
# User wenzelm
# Date 1660743042 -7200
# Node ID ccdca89e19d6949bd94b3301165676cca5f08d78
# Parent  8342cba8eae86ee9915a9eab96934154fdfb42f0
tuned;

diff -r 8342cba8eae8 -r ccdca89e19d6 src/Pure/Thy/presentation.scala
--- a/src/Pure/Thy/presentation.scala	Wed Aug 17 15:18:17 2022 +0200
+++ b/src/Pure/Thy/presentation.scala	Wed Aug 17 15:30:42 2022 +0200
@@ -134,7 +134,7 @@
       val batches =
         presentation_sessions.foldLeft((Set.empty[String], List.empty[Batch]))(
           { case ((seen, batches), session) =>
-              val thys = deps(session).loaded_theories.keys.filterNot(seen)
+              val thys = deps(session).loaded_theories.keys_iterator.filterNot(seen).toList
               (seen ++ thys, (session, thys) :: batches)
           })._2