From a78489e00c6b20bf297d870df03562071e8b5334 Mon Sep 17 00:00:00 2001 From: "Mark R. Tuttle" Date: Tue, 21 Apr 2020 13:39:26 -0400 Subject: [PATCH] Fix depth_iterator_baset move assignment to return a value. --- src/util/expr_iterator.h | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/util/expr_iterator.h b/src/util/expr_iterator.h index 6a2a86ab259..90fb5516652 100644 --- a/src/util/expr_iterator.h +++ b/src/util/expr_iterator.h @@ -164,7 +164,10 @@ class depth_iterator_baset { m_stack=std::move(other.m_stack); } depth_iterator_baset &operator=(const depth_iterator_baset&)=default; depth_iterator_baset &operator=(depth_iterator_baset &&other) - { m_stack=std::move(other.m_stack); } + { + m_stack = std::move(other.m_stack); + return *this; + } const exprt &get_root() {