build fixes

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Nov 15, 2024 · 77eacef · 77eacef
1 parent 3f40798
commit 77eacef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ast/sls/sls_smt_plugin.cpp b/src/ast/sls/sls_smt_plugin.cpp
@@ -230,7 +230,7 @@ namespace sls {
     void smt_plugin::smt_values_to_sls() {
         for (auto const& [t, t_sync] : m_smt2sync_uninterp) {
             expr_ref val_t(m);
-            if (!ctx.get_value(t, val_t))
+            if (!ctx.get_smt_value(t, val_t))
                 continue;
             expr* t_sls = m_smt2sls_tr(t);
             auto val_sls = expr_ref(m_smt2sls_tr(val_t.get()), m_sls);