From 37d2ed646de0f704715cb4b44d9ffbf111b8fc66 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 4 Jun 2021 15:28:52 -0700
Subject: [PATCH] #5324

disable euf for opt
---
 src/opt/opt_context.cpp | 2 ++
 1 file changed, 2 insertions(+)

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;