From b3ebce3966aa4923550076064ab66193dc5c8632 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 7 Feb 2023 19:30:45 -0800
Subject: [PATCH] fix compilation

---
 src/sat/smt/euf_local_search.cpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/sat/smt/euf_local_search.cpp b/src/sat/smt/euf_local_search.cpp
index 5ea30b96c6e..a614d1656ee 100644
--- a/src/sat/smt/euf_local_search.cpp
+++ b/src/sat/smt/euf_local_search.cpp
@@ -72,9 +72,7 @@ namespace euf {
             return true;
         if (is_uninterp_const(e))
             return true;
-        euf::enode* n = m_egraph.find(e);
-        if (!n)
-            return true;
+        return !m_egraph.find(e);
     }
 
     void solver::setup_bounds(sat::model const& mdl) {