diff --git a/src/opt/opt_context.cpp b/src/opt/opt_context.cpp
index eab037bd2..776502541 100644
--- a/src/opt/opt_context.cpp
+++ b/src/opt/opt_context.cpp
@@ -681,6 +681,8 @@ namespace opt {
 
     void context::update_solver() {
         sat_params p(m_params);
+        if (p.euf())
+            return;
         if (!p.euf()) {
             if (!m_enable_sat || !probe_fd()) {
                 return;