From e08ceee42403681681ad7997d69affa804e5732f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 8 Mar 2021 20:41:10 -0800 Subject: [PATCH] compiler Signed-off-by: Nikolaj Bjorner --- src/sat/smt/bv_solver.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sat/smt/bv_solver.h b/src/sat/smt/bv_solver.h index 3223ec1b4..b7bd11591 100644 --- a/src/sat/smt/bv_solver.h +++ b/src/sat/smt/bv_solver.h @@ -124,7 +124,7 @@ namespace bv { eq_occurs* m_first; public: eq_occurs_it(eq_occurs* c) : m_first(c) {} - eq_occurs operator*() { return *m_first; } + eq_occurs const& operator*() { return *m_first; } eq_occurs_it& operator++() { m_first = m_first->m_next; return *this; } eq_occurs_it operator++(int) { eq_occurs_it tmp = *this; ++*this; return tmp; } bool operator==(eq_occurs_it const& other) const { return m_first == other.m_first; }