From eb775b22065b70a7f6945f33731166fbec1a9d52 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 16 Jun 2026 09:34:25 -0600 Subject: [PATCH] Update bit_blaster_tpl_def.h --- src/ast/rewriter/bit_blaster/bit_blaster_tpl_def.h | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/ast/rewriter/bit_blaster/bit_blaster_tpl_def.h b/src/ast/rewriter/bit_blaster/bit_blaster_tpl_def.h index f3b9b25e7..a4b5410f6 100644 --- a/src/ast/rewriter/bit_blaster/bit_blaster_tpl_def.h +++ b/src/ast/rewriter/bit_blaster/bit_blaster_tpl_def.h @@ -769,10 +769,9 @@ template void bit_blaster_tpl::mk_eq(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_ref & out) { expr_ref_vector out_bits(m()); out_bits.reserve(sz); - out_bits.reset(); for (unsigned i = 0; i < sz; ++i) { mk_iff(a_bits[i], b_bits[i], out); - out_bits.push_back(out); + out_bits[i] = out; } mk_and(out_bits.size(), out_bits.data(), out); }