mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-05-30 21:57:46 +00:00
Code Activity

fix build

Browse source
This commit is contained in:
Nuno Lopes 2026-01-30 14:21:57 +00:00
parent 4a1c2f44c5
commit 7edc4e088a
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/smt/smt_justification.cpp
View file

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