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();
                     }
                 }
             }