From 1e62029413f7828b4fa90b429c42da12c40bcbb8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 25 Nov 2024 17:36:42 -0800
Subject: [PATCH] use ztring

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/sls/sls_seq_plugin.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast/sls/sls_seq_plugin.cpp b/src/ast/sls/sls_seq_plugin.cpp
index 3283ef866..43bca381b 100644
--- a/src/ast/sls/sls_seq_plugin.cpp
+++ b/src/ast/sls/sls_seq_plugin.cpp
@@ -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();
     }