From 1ff3eaae8c1f77f30dfbfc890ee1d1de614ee10a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 28 Jul 2026 11:49:55 -0700 Subject: [PATCH] fix build Signed-off-by: Nikolaj Bjorner --- src/math/lp/int_branch.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/int_branch.cpp b/src/math/lp/int_branch.cpp index d2baaa79dc..e142cd23ca 100644 --- a/src/math/lp/int_branch.cpp +++ b/src/math/lp/int_branch.cpp @@ -67,7 +67,7 @@ int int_branch::find_inf_int_base_column() { auto add_column = [&](bool improved, int &result, unsigned &n, unsigned j) { if (result == -1) result = j; - else if (improved && ((random() % (++n)) == 0)) + else if (improved && (lra.settings().random_next() % (++n)) == 0) result = j; };