From 9a5c0f2312fc5174845d537ca9e09b498ec85948 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 22 Jul 2021 09:38:05 -0700
Subject: [PATCH] #5427

---
 src/sat/smt/euf_model.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/sat/smt/euf_model.cpp b/src/sat/smt/euf_model.cpp
index be4c824b3..412aec533 100644
--- a/src/sat/smt/euf_model.cpp
+++ b/src/sat/smt/euf_model.cpp
@@ -61,6 +61,7 @@ namespace euf {
     };
 
     void solver::update_model(model_ref& mdl) {
+        mdl->reset_eval_cache();
         for (auto* mb : m_solvers)
             mb->init_model();
         m_values.reset();