diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
index 6b15501ea..5715e067d 100644
--- a/src/smt/smt_context.cpp
+++ b/src/smt/smt_context.cpp
@@ -3749,7 +3749,6 @@ namespace smt {
             }
 
             if (resource_limits_exceeded() && !inconsistent()) {
-                m_last_search_failure = RESOURCE_LIMIT;
                 return l_undef;
             }
         }