fix compilation

Z3Prover · Feb 8, 2023 · b3ebce3 · b3ebce3
1 parent 96d815b
commit b3ebce3
Showing 1 changed file with 1 addition and 3 deletions.
diff --git 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) {