# HG changeset patch
# User wenzelm
# Date 1754562937 -7200
# Node ID 26416f52bf81958ecf07539bf777bfe7f6bb1576
# Parent  6a69754cf371e0dfab517c7cb9f9e689cac4fa1c
tuned;

diff -r 6a69754cf371 -r 26416f52bf81 src/Pure/General/bytes.scala
--- a/src/Pure/General/bytes.scala	Wed Aug 06 17:39:03 2025 +0200
+++ b/src/Pure/General/bytes.scala	Thu Aug 07 12:35:37 2025 +0200
@@ -117,7 +117,7 @@
   /* write */
 
   def write(file: JFile, bytes: Bytes): Unit =
-    using(new FileOutputStream(file))(bytes.write_stream(_))
+    using(new FileOutputStream(file))(bytes.write_stream)
 
   def write(path: Path, bytes: Bytes): Unit = write(path.file, bytes)
 
@@ -125,7 +125,7 @@
   /* append */
 
   def append(file: JFile, bytes: Bytes): Unit =
-    using(new FileOutputStream(file, true))(bytes.write_stream(_))
+    using(new FileOutputStream(file, true))(bytes.write_stream)
 
   def append(path: Path, bytes: Bytes): Unit = append(path.file, bytes)
 
@@ -506,7 +506,7 @@
 
   def encode_base64: Bytes =
     Bytes.Builder.use_stream(hint = (size * 1.5).round) { out =>
-      using(Base64.encode_stream(out))(write_stream(_))
+      using(Base64.encode_stream(out))(write_stream)
     }
 
   def decode_base64: Bytes =