--- a/src/Pure/Thy/presentation.scala Sun Aug 07 12:37:57 2022 +0200
+++ b/src/Pure/Thy/presentation.scala Sun Aug 07 12:58:59 2022 +0200
@@ -134,10 +134,9 @@
{ case (session, thys) =>
using(open_session(session)) { session_context =>
for (thy_name <- thys) yield {
- val theory_context = session_context.theory(thy_name)
- val theory =
- Export_Theory.read_theory(theory_context,
- permissive = true, cache = session_context.cache)
+ val theory_context =
+ session_context.theory(thy_name, other_cache = Some(Term.Cache.none))
+ val theory = Export_Theory.read_theory(theory_context, permissive = true)
thy_name -> Node_Info.make(theory)
}
}