Remove unnecessary coral:: prefixes in coral libray

This commit is contained in:
kayomn 2023-02-19 16:51:38 +00:00
parent d8ab57844d
commit cba6e26995
2 changed files with 2 additions and 2 deletions

View File

@ -478,7 +478,7 @@ export namespace coral {
* *Note*: safety-checked behavior is triggered if `target` is smaller than `origin`. * *Note*: safety-checked behavior is triggered if `target` is smaller than `origin`.
*/ */
void copy(slice<u8> const & target, slice<u8 const> const & origin) { void copy(slice<u8> const & target, slice<u8 const> const & origin) {
if (target.length < origin.length) coral::unreachable(); if (target.length < origin.length) unreachable();
for (usize i = 0; i < origin.length; i += 1) target[i] = origin[i]; for (usize i = 0; i < origin.length; i += 1) target[i] = origin[i];
} }

View File

@ -179,7 +179,7 @@ export namespace coral {
return append_result::out_of_memory; return append_result::out_of_memory;
} }
coral::copy({buffer, buffer_size}, this->elements.as_bytes()); copy({buffer, buffer_size}, this->elements.as_bytes());
this->elements = {reinterpret_cast<element *>(buffer), requested_capacity}; this->elements = {reinterpret_cast<element *>(buffer), requested_capacity};
} }