mirror of
https://github.com/Z3Prover/z3
synced 2025-04-10 03:07:07 +00:00
fix #6655
This commit is contained in:
parent
b386b84f34
commit
996e5b1755
|
@ -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;
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue