From 7664d0568e9fc6696271c2f7b871e55572643c6a Mon Sep 17 00:00:00 2001 From: Ikko Eltociear Ashimine Date: Wed, 31 Jul 2024 01:02:25 +0900 Subject: [PATCH] Update bytewriter.c3 minor fix --- lib/std/io/stream/bytewriter.c3 | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/std/io/stream/bytewriter.c3 b/lib/std/io/stream/bytewriter.c3 index 1caeb9b00..0133bddf2 100644 --- a/lib/std/io/stream/bytewriter.c3 +++ b/lib/std/io/stream/bytewriter.c3 @@ -11,7 +11,7 @@ struct ByteWriter (OutStream) /** * @param [&inout] self * @param [&inout] allocator - * @require self.bytes.len == 0 "Init may not run on on already initialized data" + * @require self.bytes.len == 0 "Init may not run on already initialized data" * @ensure (bool)allocator, self.index == 0 **/ fn ByteWriter* ByteWriter.new_init(&self, Allocator allocator = allocator::heap()) @@ -22,7 +22,7 @@ fn ByteWriter* ByteWriter.new_init(&self, Allocator allocator = allocator::heap( /** * @param [&inout] self - * @require self.bytes.len == 0 "Init may not run on on already initialized data" + * @require self.bytes.len == 0 "Init may not run on already initialized data" * @ensure self.index == 0 **/ fn ByteWriter* ByteWriter.temp_init(&self)