changeset 68150 | f0f34cbed539 |
parent 68149 | 9a4a6adb95b5 |
child 68167 | 327bb0f5f768 |
--- 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