From dcd8ea4af2b30f144e6bda616278848039f65938 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 10 Feb 2026 12:55:50 -0800 Subject: [PATCH] fix build of test Signed-off-by: Nikolaj Bjorner --- src/nlsat/levelwise.cpp | 4 ++-- src/test/sls_test.cpp | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/nlsat/levelwise.cpp b/src/nlsat/levelwise.cpp index c88f15e0f..c03294520 100644 --- a/src/nlsat/levelwise.cpp +++ b/src/nlsat/levelwise.cpp @@ -791,7 +791,7 @@ namespace nlsat { // Helper: Connect non-tree (single-side) polynomials to their respective boundaries void connect_non_tree_to_bounds() { auto const& rfs = m_rel.m_rfunc; - unsigned n = rfs.size(); + auto n = rfs.size(); // Lower side: connect single-side polys to lower boundary for (unsigned j = 0; j < m_l_rf; ++j) @@ -807,7 +807,7 @@ namespace nlsat { // Helper: Connect spanning tree extremes to boundaries (when boundaries are different polys) void connect_tree_extremes_to_bounds() { auto const& rfs = m_rel.m_rfunc; - unsigned n = rfs.size(); + auto n = rfs.size(); // Find max lower both-side poly (closest to lower boundary from below) unsigned max_lower_both = UINT_MAX; diff --git a/src/test/sls_test.cpp b/src/test/sls_test.cpp index 8123edf30..2ca2948d5 100644 --- a/src/test/sls_test.cpp +++ b/src/test/sls_test.cpp @@ -37,7 +37,7 @@ namespace bv { void force_restart() override {} std::ostream& display(std::ostream& out) override { return out; } reslimit& rlimit() override { return m_limit; } - unsigned timestamp(sat::bool_var v) override { return 0; } + uint64_t timestamp(sat::bool_var v) override { return 0; } }; class sls_test {