mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
use ztring
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
fce377e1d7
commit
1e62029413
|
@ -1196,7 +1196,7 @@ namespace sls {
|
|||
}
|
||||
else {
|
||||
for (auto& str : conts)
|
||||
m_str_updates.push_back({ x, str + m_chars[ctx.rand(m_chars.size())], 1});
|
||||
m_str_updates.push_back({ x, str + zstring(m_chars[ctx.rand(m_chars.size())]), 1});
|
||||
}
|
||||
return apply_update();
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue