--- a/src/Pure/General/bytes.scala Sun Mar 06 10:33:34 2016 +0100
+++ b/src/Pure/General/bytes.scala Sun Mar 06 11:59:35 2016 +0100
@@ -20,7 +20,7 @@
val str = s.toString
if (str.isEmpty) empty
else {
- val b = str.getBytes(UTF8.charset)
+ val b = UTF8.bytes(str)
new Bytes(b, 0, b.length)
}
}