mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
fix reset break
This commit is contained in:
parent
28a6da4532
commit
c022a3e573
|
@ -1298,6 +1298,7 @@ void cmd_context::reset(bool finalize) {
|
|||
restore_assertions(0);
|
||||
m_solver = nullptr;
|
||||
m_mcs.reset();
|
||||
m_mcs.push_back(nullptr);
|
||||
m_scopes.reset();
|
||||
m_opt = nullptr;
|
||||
m_pp_env = nullptr;
|
||||
|
|
Loading…
Reference in a new issue