From e0401a65448391fc935072d6171ae89511bdb3ae Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 10 Apr 2026 18:03:10 -0700
Subject: [PATCH] fix truncation error

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/simplifiers/CMakeLists.txt | 1 +
 src/util/search_tree.h             | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/ast/simplifiers/CMakeLists.txt b/src/ast/simplifiers/CMakeLists.txt
index d43bbe203..aae8227e4 100644
--- a/src/ast/simplifiers/CMakeLists.txt
+++ b/src/ast/simplifiers/CMakeLists.txt
@@ -17,6 +17,7 @@ z3_add_component(simplifiers
     euf_completion.cpp
     extract_eqs.cpp
     factor_simplifier.cpp
+    fold_unfold.cpp
     linear_equation.cpp
     max_bv_sharing.cpp
     model_reconstruction_trail.cpp
diff --git a/src/util/search_tree.h b/src/util/search_tree.h
index bd051dd3d..bac6ce0d0 100644
--- a/src/util/search_tree.h
+++ b/src/util/search_tree.h
@@ -161,7 +161,7 @@ namespace search_tree {
 
         struct candidate {
             node<Config>* n = nullptr;
-            unsigned effort_band = UINT64_MAX;
+            unsigned effort_band = UINT_MAX;
             unsigned depth = 0;
         };