From 60fb53ad34e9decde95db881445bfb4de570ddef Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 25 Jan 2025 15:50:07 -0800
Subject: [PATCH] fix debug build

---
 src/ast/sls/sls_arith_lookahead.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast/sls/sls_arith_lookahead.cpp b/src/ast/sls/sls_arith_lookahead.cpp
index 1db76cf36..6546819ab 100644
--- a/src/ast/sls/sls_arith_lookahead.cpp
+++ b/src/ast/sls/sls_arith_lookahead.cpp
@@ -251,7 +251,7 @@ namespace sls {
     template<typename num_t>
     double arith_lookahead<num_t>::lookahead(expr* t, bool update_score) {
         ctx.rlimit().inc();
-        SASSERT(a.is_int_real(t) || m.is_bool(t));
+        SASSERT(autil.is_int_real(t) || m.is_bool(t));
         double score = m_top_score;
         for (unsigned depth = m_min_depth; depth <= m_max_depth; ++depth) {
             for (unsigned i = 0; i < m_update_stack[depth].size(); ++i) {