diff --git a/src/ast/simplifiers/solve_eqs.cpp b/src/ast/simplifiers/solve_eqs.cpp
index 0b6f12160..18928dca8 100644
--- a/src/ast/simplifiers/solve_eqs.cpp
+++ b/src/ast/simplifiers/solve_eqs.cpp
@@ -197,7 +197,7 @@ namespace euf {
         if (!m.inc())
             return;
 
-        if (m_config.m_context_solve) {            
+        if (m_config.m_context_solve && false) {            
             old_fmls.reset();
             m_subst_ids.reset();
             eqs.reset();