src/Pure/Thy/export.scala

--- a/src/Pure/Thy/export.scala	Fri Aug 12 16:01:52 2022 +0200
+++ b/src/Pure/Thy/export.scala	Fri Aug 12 16:08:12 2022 +0200
@@ -411,7 +411,7 @@
     def theory(theory: String, other_cache: Option[Term.Cache] = None): Theory_Context =
       new Theory_Context(session_context, theory, other_cache)
 
-    def classpath(): List[File.Content_Bytes] = {
+    def classpath(): List[File.Content] = {
       (for {
         session <- session_stack.iterator
         info <- sessions_structure.get(session).iterator