From 9294b2ceb2a649bc7dab3f7f999e45603bfb34e3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 25 Jan 2022 16:33:23 +0100
Subject: [PATCH] created

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/tactic/smt_tactic_core.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/smt/tactic/smt_tactic_core.cpp b/src/smt/tactic/smt_tactic_core.cpp
index 8f3a6ee0f..bf2ea9bd6 100644
--- a/src/smt/tactic/smt_tactic_core.cpp
+++ b/src/smt/tactic/smt_tactic_core.cpp
@@ -465,6 +465,7 @@ public:
         m_final_eh = nullptr;
         m_eq_eh = nullptr;
         m_diseq_eh = nullptr;
+        m_created_eh = nullptr;
     }
 
     void user_propagate_init(