mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-06-20 15:40:37 +00:00
Code Activity

get pointer

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2026-06-19 17:45:19 -07:00
parent 50cb6972ab
commit e859303517
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/term_enumeration.cpp
View file

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