mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-01-18 08:18:55 +00:00
Code Activity

t

Browse source
This commit is contained in:
Lev Nachmanson 2026-01-09 06:00:45 -10:00
parent 40ee2cd5e3
commit a8d835aa5c
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_psc_tmp(m_pm) {
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);
// Avoid accidental reads of uninitialized indices.
m_I.back().l_index = 0;
m_I.back().u_index = 0;
}
}
void fail() { throw nullified_poly_exception(); }