max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix: fixes #2419

Browse source
This commit is contained in:
Leonardo de Moura 2023-08-14 16:18:30 -07:00
parent 736af918f5
commit b5a736708f
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/runtime/object.cpp
View file

@ -1614,7 +1614,7 @@ extern "C" LEAN_EXPORT object * lean_string_append(object * s1, object * s2) {
size_t len1 = lean_string_len(s1);
size_t len2 = lean_string_len(s2);
size_t new_len = len1 + len2;
unsigned new_sz = sz1 + sz2 - 1;
size_t new_sz = sz1 + sz2 - 1;
object * r;
if (!lean_is_exclusive(s1)) {
r = lean_alloc_string(new_sz, mk_capacity(new_sz), new_len);