mirror of
https://github.com/Z3Prover/z3
synced 2025-04-20 23:56:37 +00:00
parent
c8c088e80d
commit
3774d6d405
|
@ -65,7 +65,9 @@ namespace smt {
|
|||
e = m_util.mk_power0(n->get_arg(0), n->get_arg(1));
|
||||
}
|
||||
if (e) {
|
||||
ctx.assign(mk_eq(e, n, false), nullptr);
|
||||
literal lit = mk_eq(e, n, false);
|
||||
ctx.mark_as_relevant(lit);
|
||||
ctx.assign(lit, nullptr);
|
||||
}
|
||||
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue