From c022a3e5736d9f277077c61fbf05052098834e34 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 19 Dec 2020 16:32:54 -0800
Subject: [PATCH] fix reset break

---
 src/cmd_context/cmd_context.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/cmd_context/cmd_context.cpp b/src/cmd_context/cmd_context.cpp
index 2ec150cd3..634208e12 100644
--- a/src/cmd_context/cmd_context.cpp
+++ b/src/cmd_context/cmd_context.cpp
@@ -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;