From 78d70fea3766fed5023292c94a35f24c0fb47174 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 27 Mar 2026 15:31:52 -1000 Subject: [PATCH] simplify scoped_numeral_vector copy constructor loop Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com> --- src/util/scoped_numeral_vector.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/scoped_numeral_vector.h b/src/util/scoped_numeral_vector.h index 44e625550..bd4f130f1 100644 --- a/src/util/scoped_numeral_vector.h +++ b/src/util/scoped_numeral_vector.h @@ -27,7 +27,7 @@ public: _scoped_numeral_vector(Manager & m):m_manager(m) {} _scoped_numeral_vector(const _scoped_numeral_vector & other) : m_manager(other.m_manager) { - for (unsigned i = 0, e = other.size(); i != e; ++i) { + for (unsigned i = 0; i < other.size(); ++i) { push_back(other[i]); } }