From f77f259542cd7f9455b0f7c16025321388e9f283 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 6 Jan 2025 18:12:12 -0800 Subject: [PATCH] fix build Signed-off-by: Nikolaj Bjorner --- src/ast/sls/sls_bv_lookahead.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/sls/sls_bv_lookahead.cpp b/src/ast/sls/sls_bv_lookahead.cpp index 301ef1ff01..93192aefde 100644 --- a/src/ast/sls/sls_bv_lookahead.cpp +++ b/src/ast/sls/sls_bv_lookahead.cpp @@ -683,7 +683,7 @@ namespace sls { wval(e).commit_eval_ignore_tabu(); } else { - SASSERT(is_bool(e)); + SASSERT(m.is_bool(e)); auto v1 = m_ev.bval1(e); CTRACE("bv_verbose", m_ev.get_bool_value(e) != v1, tout << "updated truth value " << mk_bounded_pp(e, m) << " := " << v1 << "\n";);