From e859303517f240ebb9efa253108541c4a0eeafc3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 19 Jun 2026 17:45:19 -0700 Subject: [PATCH] get pointer Signed-off-by: Nikolaj Bjorner --- src/ast/term_enumeration.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/term_enumeration.cpp b/src/ast/term_enumeration.cpp index 872a6c5f4..a4a8281c2 100644 --- a/src/ast/term_enumeration.cpp +++ b/src/ast/term_enumeration.cpp @@ -563,7 +563,7 @@ term_enumeration::iterator::~iterator() { } expr* term_enumeration::iterator::operator*() { - return m_imp ? m_imp->m_current : nullptr; + return m_imp ? m_imp->m_current.get() : nullptr; } term_enumeration::iterator& term_enumeration::iterator::operator++() {