fix too strict assertion

This commit is contained in:
Simon Cruanes 2023-12-27 17:34:13 -05:00
parent eaa76ecb4c
commit 622770808d
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -29,7 +29,7 @@ let[@inline] add_string (self : t) (s : string) : unit =
let missing = missing_to_round len in let missing = missing_to_round len in
(* bound check *) (* bound check *)
assert (len + missing + self.offset < Bytes.length self.buf); assert (len + missing + self.offset <= Bytes.length self.buf);
Bytes.unsafe_blit_string s 0 self.buf self.offset len; Bytes.unsafe_blit_string s 0 self.buf self.offset len;
self.offset <- self.offset + len; self.offset <- self.offset + len;