From 1d8a904e994d3290941119fc8922c45717e641cb Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 14 Nov 2024 22:10:59 -0800 Subject: [PATCH] build fixes Signed-off-by: Nikolaj Bjorner --- src/smt/theory_sls.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/theory_sls.cpp b/src/smt/theory_sls.cpp index 0fac7cace..8614ac76d 100644 --- a/src/smt/theory_sls.cpp +++ b/src/smt/theory_sls.cpp @@ -61,7 +61,7 @@ namespace smt { ctx.set_sls_completed(); } - bool theory_sls::get_value(expr* v, expr_ref& value) { + bool theory_sls::get_smt_value(expr* v, expr_ref& value) { auto* n = ctx.get_enode(v); return n && ctx.get_value(n, value); }