fix #6655

Z3Prover · Mar 31, 2023 · 996e5b1 · 996e5b1
1 parent b386b84
commit 996e5b1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;
         }
     }