mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

reset before manager is deallocated

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2024-10-03 18:19:14 -07:00
parent a98c925069
commit 66bb310966
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/cmd_context/cmd_context.cpp
View file

@ -1514,14 +1514,15 @@ void cmd_context::reset(bool finalize) {
m_opt = nullptr; m_opt = nullptr;
m_pp_env = nullptr; m_pp_env = nullptr;
m_dt_eh = nullptr; m_dt_eh = nullptr;
m_std_subst = nullptr;
m_rev_subst = nullptr;
if (m_manager) { if (m_manager) {
dealloc(m_pmanager); dealloc(m_pmanager);
m_pmanager = nullptr; m_pmanager = nullptr;
if (m_own_manager) { if (m_own_manager) {
dealloc(m_manager); dealloc(m_manager);
m_manager = nullptr; m_manager = nullptr;
m_std_subst = nullptr;
m_rev_subst = nullptr;
m_manager_initialized = false; m_manager_initialized = false;
} }
else { else {