From 93d5e3f28e327f637a6f8d7900e7858821cb43b6 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 12 Jun 2025 16:10:08 -0700 Subject: [PATCH] use mk_ite utility instead of custom local function Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/bit_blaster/bit_blaster_tpl_def.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 6b7bbea67..5baef579f 100644 --- a/src/ast/rewriter/bit_blaster/bit_blaster_tpl_def.h +++ b/src/ast/rewriter/bit_blaster/bit_blaster_tpl_def.h @@ -1002,7 +1002,7 @@ void bit_blaster_tpl::mk_ext_rotate_left_right(unsigned sz, expr * const * out.reset(); for (unsigned j = 0; j < sz; ++j) { unsigned src = (Left ? (sz + j - p) : (j + p)) % sz; - mk_ite(bit_i, out_bits.get(src), out_bits.get(j), tmp)); + mk_ite(bit_i, out_bits.get(src), out_bits.get(j), tmp); out.push_back(tmp); } out_bits.reset();