From 23c53c6820b2d0c786dc416dab9a50473a7bbde3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 30 Nov 2022 19:36:13 +0900 Subject: [PATCH] fix build --- src/ast/simplifiers/dependent_expr_state.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/simplifiers/dependent_expr_state.h b/src/ast/simplifiers/dependent_expr_state.h index d8539d604..a5f31b70c 100644 --- a/src/ast/simplifiers/dependent_expr_state.h +++ b/src/ast/simplifiers/dependent_expr_state.h @@ -118,7 +118,7 @@ protected: dependent_expr_simplifier& s; unsigned m_index = 0; bool at_end = false; - unsigned index() const { return at_end ? s.qtail() : m_index; } + unsigned index() const { return at_end ? s.qtail() : std::min(m_index, s.qtail()); } iterator(dependent_expr_simplifier& s, unsigned i) : s(s), m_index(i), at_end(i == s.qtail()) {} bool operator==(iterator const& other) const { return index() == other.index(); } bool operator!=(iterator const& other) const { return !(*this == other); }