From 674e1b8f981042c6d2f5fe9c94fefe67db64ff31 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 18 Feb 2025 20:15:42 -0800 Subject: [PATCH] remove equality check on container --- src/ast/ast.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/ast/ast.h b/src/ast/ast.h index 88c45668a..870b55c5c 100644 --- a/src/ast/ast.h +++ b/src/ast/ast.h @@ -700,8 +700,6 @@ public: expr_container(expr* const* pos, expr* const* end) :m_pos(pos), m_end(end) {} expr_container& operator++() { ++m_pos; return *this; } expr_container operator++(int) { expr_container tmp = *this; ++(*this); return tmp; } - bool operator==(expr_container const& it) const { return m_pos == it.m_pos; } - bool operator!=(expr_container const& it) const { return m_pos != it.m_pos; } expr* operator*() const { return *m_pos; } expr* const* begin() const { return m_pos; } expr* const* end() const { return m_end; }