From cb8603177e7624b98ae23f5c0c56a8c0c964df4b Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Sun, 11 Dec 2022 22:17:11 +0000 Subject: [PATCH] fix build --- src/ast/simplifiers/dependent_expr_state.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/ast/simplifiers/dependent_expr_state.h b/src/ast/simplifiers/dependent_expr_state.h index 6d1f1aa77..e8f137e35 100644 --- a/src/ast/simplifiers/dependent_expr_state.h +++ b/src/ast/simplifiers/dependent_expr_state.h @@ -119,14 +119,14 @@ protected: unsigned m_index, m_end; iterator(dependent_expr_simplifier& s, unsigned i, unsigned end) : s(s), m_index(i), m_end(end) {} bool operator!=(iterator const& other) const { return m_index != other.m_index; } - iterator& operator++() { if (!s.m.inc() || s.m_fmls.inconsistent() || m_index > s.qtail()) m_index = m_end; else ++m_index; return *this; } + iterator& operator++() { if (!s.m.inc() || s.m_fmls.inconsistent() || m_index >= s.qtail()) m_index = m_end; else ++m_index; return *this; } unsigned operator*() const { return m_index; } }; struct index_set { dependent_expr_simplifier& s; - iterator begin() { return iterator(s, s.qhead()); } - iterator end() { return iterator(s, s.qtail()); } + iterator begin() { return iterator(s, s.qhead(), s.qtail()); } + iterator end() { return iterator(s, s.qtail(), s.qtail()); } index_set(dependent_expr_simplifier& s) : s(s) {} };