# HG changeset patch
# User wenzelm
# Date 1679834728 -7200
# Node ID 0d6e592d24c06066b6a03be404c29a78aedbe7a8
# Parent  dd4bb80dbc3a12c17980ac5a8f1f54a5b6aff179
tuned output;

diff -r dd4bb80dbc3a -r 0d6e592d24c0 src/Pure/General/bytes.scala
--- a/src/Pure/General/bytes.scala	Sun Mar 26 14:36:47 2023 +0200
+++ b/src/Pure/General/bytes.scala	Sun Mar 26 14:45:28 2023 +0200
@@ -174,7 +174,7 @@
       case None => (true, encode_base64)
     }
 
-  override def toString: String = "Bytes(" + length + ")"
+  override def toString: String = "Bytes(" + Space.bytes(length).print + ")"
 
   def proper: Option[Bytes] = if (is_empty) None else Some(this)
   def proper_text: Option[String] = if (is_empty) None else Some(text)