From a96b7d243afd01a130a804570cb6b193f546dd92 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 1 Dec 2022 00:04:08 -0800 Subject: [PATCH] remove incorrect check for quantifier --- src/ast/simplifiers/bit2int.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/ast/simplifiers/bit2int.h b/src/ast/simplifiers/bit2int.h index 7d07029d2..6605c2e7e 100644 --- a/src/ast/simplifiers/bit2int.h +++ b/src/ast/simplifiers/bit2int.h @@ -34,8 +34,6 @@ public: proof_ref pr(m); for (unsigned idx : indices()) { auto const& d = m_fmls[idx]; - if (!has_quantifiers(d.fml())) - continue; m_rewriter(d.fml(), r, pr); m_fmls.update(idx, dependent_expr(m, r, d.dep())); }