tuned whitespace;

--- a/src/Pure/Thy/export.scala	Sat Aug 20 00:24:04 2022 +0200
+++ b/src/Pure/Thy/export.scala	Sat Aug 20 12:39:37 2022 +0200
@@ -420,9 +420,9 @@
         if matcher(entry_name)
         entry <- get(entry_name.theory, entry_name.name).iterator
       } yield File.content(entry.entry_name.make_path(), entry.uncompressed)).toList
-  }
+    }
 
-  override def toString: String =
+    override def toString: String =
       "Export.Session_Context(" + commas_quote(session_stack) + ")"
   }