mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-01 14:57:57 +00:00
Code Activity

fix build

Browse source
This commit is contained in:
Nuno Lopes 2026-01-30 16:38:23 +00:00
parent 5f835dd99c
commit 10043c37fd
1 changed files with 3 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/smt/smt_justification.cpp
View file

@ -321,12 +321,11 @@ namespace smt {
region& r = ctx.get_region();
m_eqs = new (r) enode_pair[num_eqs];
std::uninitialized_copy(eqs, eqs + num_eqs, m_eqs);
DEBUG_CODE((
DEBUG_CODE(
for (unsigned i = 0; i < num_eqs; ++i) {
enode_pair const & [n1, n2] = eqs[i];
SASSERT(n1->get_root() == n2->get_root());
SASSERT(eqs[i].first->get_root() == eqs[i].second->get_root());
}
));
);
}
void ext_simple_justification::get_antecedents(conflict_resolution & cr) {