mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 22:23:22 +00:00
Code Activity

fix clone

Browse source
This commit is contained in:
Nikolaj Bjorner 2020-11-11 17:34:26 -08:00
parent 9704733693
commit b5aab7ec2a
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/sat/smt/bv_solver.cpp
View file

@ -659,7 +659,7 @@ namespace bv {
continue; continue;
atom* new_a = new (result->get_region()) atom(i); atom* new_a = new (result->get_region()) atom(i);
m_bool_var2atom.setx(i, new_a, nullptr); result->m_bool_var2atom.setx(i, new_a, nullptr);
for (auto vp : *a) for (auto vp : *a)
new_a->m_occs = new (result->get_region()) var_pos_occ(vp.first, vp.second, new_a->m_occs); new_a->m_occs = new (result->get_region()) var_pos_occ(vp.first, vp.second, new_a->m_occs);
for (auto const& occ : a->eqs()) { for (auto const& occ : a->eqs()) {
@ -670,7 +670,7 @@ namespace bv {
} }
new_a->m_def = a->m_def; new_a->m_def = a->m_def;
new_a->m_var = a->m_var; new_a->m_var = a->m_var;
validate_atoms(); // validate_atoms();
} }
return result; return result;
} }