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++() {