From df71e834280c493ec2d2cc2a621ad21435787736 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 2 Nov 2022 17:32:09 -0700 Subject: [PATCH] remove incorrect assertion Signed-off-by: Nikolaj Bjorner --- src/ast/simplifiers/euf_completion.cpp | 2 -- 1 file changed, 2 deletions(-) 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);