From a8d835aa5c4ddaef10cf1f1693b8e3fd107944c3 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 9 Jan 2026 06:00:45 -1000 Subject: [PATCH] t --- src/nlsat/levelwise.cpp | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/src/nlsat/levelwise.cpp b/src/nlsat/levelwise.cpp index a70b1e88b..e7d496eec 100644 --- a/src/nlsat/levelwise.cpp +++ b/src/nlsat/levelwise.cpp @@ -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(); }