From 77eacef2ae16c35398f2f526a590edf529d85012 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 14 Nov 2024 22:08:13 -0800 Subject: [PATCH] build fixes Signed-off-by: Nikolaj Bjorner --- src/ast/sls/sls_smt_plugin.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/sls/sls_smt_plugin.cpp b/src/ast/sls/sls_smt_plugin.cpp index 5912bb44f..6a94a2492 100644 --- 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);