From b5a736708f408abc2e42aaf0e025a4ae8172d491 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leomoura@amazon.com>
Date: Mon, 14 Aug 2023 16:18:30 -0700
Subject: [PATCH] fix: fixes #2419

---
 src/runtime/object.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/runtime/object.cpp b/src/runtime/object.cpp
index 14a88f3fe4..aece5ff2d0 100644
--- a/src/runtime/object.cpp
+++ b/src/runtime/object.cpp
@@ -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);