mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 10:55:50 +00:00
Code Activity

fix build

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-11-30 19:36:13 +09:00
parent c1ff3d3192
commit 23c53c6820
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/simplifiers/dependent_expr_state.h
View file

@ -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); }