From 254f7b97ef2cb3f7503d791720509d7388dfaa02 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 8 Nov 2022 15:56:10 -0800
Subject: [PATCH] cleanup state to clear model trail during calls.

---
 src/tactic/dependent_expr_state_tactic.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/tactic/dependent_expr_state_tactic.h b/src/tactic/dependent_expr_state_tactic.h
index 4b89028f3..56e27ee9a 100644
--- a/src/tactic/dependent_expr_state_tactic.h
+++ b/src/tactic/dependent_expr_state_tactic.h
@@ -96,7 +96,8 @@ public:
         m_goal->inc_depth();
         if (in->models_enabled())
             in->add(m_model_trail->get_model_converter().get());
-        result.push_back(in.get());        
+        result.push_back(in.get());   
+        cleanup();
     }
 
     void cleanup() override {