fix build

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Jan 7, 2025 · f77f259 · f77f259
1 parent b6f45bc
commit f77f259
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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";);