mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
build fixes
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
77eacef2ae
commit
1d8a904e99
|
@ -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);
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue