From 8a7d971264890c76090ff1d361cb02ca2cbc6eff Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 28 Jan 2025 15:02:45 -0800 Subject: [PATCH] Update sls_bv_lookahead.h --- src/ast/sls/sls_bv_lookahead.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/sls/sls_bv_lookahead.h b/src/ast/sls/sls_bv_lookahead.h index 1d85ce6f7..e4a42225d 100644 --- a/src/ast/sls/sls_bv_lookahead.h +++ b/src/ast/sls/sls_bv_lookahead.h @@ -94,7 +94,7 @@ namespace sls { unsigned m_max_depth = 0, m_min_depth = 0; void populate_update_stack(expr* e); void clear_update_stack(); - void insert_update_stack(expr* e); + bool insert_update_stack(expr* e); void insert_update(expr* e, bool is_bv); bool_info& get_bool_info(expr* e);