# HG changeset patch
# User wenzelm
# Date 1672669857 -3600
# Node ID 9ed58e165110f9122ed5cf2887873b4583785d9e
# Parent  2329e106cfcdb1e7a3363021eeecf49b689d2a27
tuned output;

diff -r 2329e106cfcd -r 9ed58e165110 src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Mon Jan 02 15:28:33 2023 +0100
+++ b/src/Pure/Thy/sessions.scala	Mon Jan 02 15:30:57 2023 +0100
@@ -64,6 +64,8 @@
     body: Bytes,
     cache: Compress.Cache
   ) {
+    override def toString: String = name
+
     def bytes: Bytes = if (compressed) body.uncompress(cache = cache) else body
     def text: String = bytes.text
   }