mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-06-03 07:37:54 +00:00
Code Activity

t

Browse source
This commit is contained in:
Lev Nachmanson 2026-01-09 06:00:45 -10:00
parent fdbac21c28
commit af01e7d76a
1 changed files with 1 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/nlsat/levelwise.cpp
View file

@ -101,12 +101,8 @@ struct levelwise::impl {
m_cache(cache), m_cache(cache),
m_psc_tmp(m_pm) { m_psc_tmp(m_pm) {
m_I.reserve(m_n); m_I.reserve(m_n);
for (unsigned i = 0; i < m_n; ++i) { for (unsigned i = 0; i < m_n; ++i)
m_I.emplace_back(m_pm); m_I.emplace_back(m_pm);
// Avoid accidental reads of uninitialized indices.
m_I.back().l_index = 0;
m_I.back().u_index = 0;
}
} }
void fail() { throw nullified_poly_exception(); } void fail() { throw nullified_poly_exception(); }