# HG changeset patch
# User wenzelm
# Date 1526061937 -7200
# Node ID f0f34cbed5396b6215fc37f5ded5d39031e520be
# Parent  9a4a6adb95b54e29b7da1d11de21e2ce3786cd8c
clarified output: avoid costly operations on huge blobs;

diff -r 9a4a6adb95b5 -r f0f34cbed539 src/Pure/General/bytes.scala
--- a/src/Pure/General/bytes.scala	Fri May 11 19:59:05 2018 +0200
+++ b/src/Pure/General/bytes.scala	Fri May 11 20:05:37 2018 +0200
@@ -156,11 +156,7 @@
     if (this == Bytes(s)) (false, s) else (true, base64)
   }
 
-  override def toString: String =
-  {
-    val str = text
-    if (str.contains('\uFFFD')) "Bytes(" + length + ")" else str
-  }
+  override def toString: String = "Bytes(" + length + ")"
 
   def isEmpty: Boolean = length == 0