diff --git a/src/ast/simplifiers/euf_completion.cpp b/src/ast/simplifiers/euf_completion.cpp
index 068f6598e..e5b328d7f 100644
--- a/src/ast/simplifiers/euf_completion.cpp
+++ b/src/ast/simplifiers/euf_completion.cpp
@@ -92,8 +92,6 @@ namespace euf {
 
         for (unsigned i = m_qhead; i < m_fmls.size(); ++i) {
             auto [f, d] = m_fmls[i]();
-            auto* n = m_egraph.find(f);
-            SASSERT(n);
             
             expr_dependency_ref dep(d, m);
             expr_ref g = canonize_fml(f, dep);