From 996e5b1755a30196cf540730954cf7462a7c88e7 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 31 Mar 2023 03:25:20 -0700
Subject: [PATCH] fix #6655

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

diff --git a/src/util/zstring.cpp b/src/util/zstring.cpp
index 570510458..eaa5bb5ee 100644
--- a/src/util/zstring.cpp
+++ b/src/util/zstring.cpp
@@ -78,7 +78,7 @@ zstring::zstring(char const* s) {
             m_buffer.push_back(ch);
         }
         else {
-            m_buffer.push_back(*s);
+            m_buffer.push_back((unsigned char)*s);
             ++s;
         }
     }