From 3712d1e0f196299ce66040ecd8ac63549ee3439e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 29 Nov 2025 15:39:50 -0800 Subject: [PATCH] fix #8055 --- src/ast/rewriter/bool_rewriter.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/rewriter/bool_rewriter.h b/src/ast/rewriter/bool_rewriter.h index 12eaff20a..849f4f369 100644 --- a/src/ast/rewriter/bool_rewriter.h +++ b/src/ast/rewriter/bool_rewriter.h @@ -63,7 +63,7 @@ class bool_rewriter { bool m_elim_ite; ptr_vector m_todo1, m_todo2; unsigned_vector m_counts1, m_counts2; - expr_fast_mark1 m_marked; + expr_mark m_marked; br_status mk_flat_and_core(unsigned num_args, expr * const * args, expr_ref & result); br_status mk_flat_or_core(unsigned num_args, expr * const * args, expr_ref & result);