From eea9c0bec61e7dd40603e2223ac0719bcc6997ba Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 23 Sep 2023 11:22:25 -0700
Subject: [PATCH] fix #6914

---
 src/smt/smt_model_finder.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/smt/smt_model_finder.cpp b/src/smt/smt_model_finder.cpp
index 94a0992f3..4139b3109 100644
--- a/src/smt/smt_model_finder.cpp
+++ b/src/smt/smt_model_finder.cpp
@@ -574,9 +574,9 @@ namespace smt {
                                 to_delete.push_back(n);
                             }
                         }
-                        for (expr* e : to_delete) {
+                        for (expr* e : to_delete) 
                             s->remove(e);
-                        }
+                        reset_eval_cache();
                     }
                 }
             }