From 90b78eb64a2eacb2f36cd08cfa959239df1dca0d Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 13 Mar 2019 19:59:05 -0700 Subject: [PATCH] use random_next instead of library random Signed-off-by: Nikolaj Bjorner --- src/util/lp/lar_solver.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/lp/lar_solver.cpp b/src/util/lp/lar_solver.cpp index 28d06f65d..503624a6e 100644 --- a/src/util/lp/lar_solver.cpp +++ b/src/util/lp/lar_solver.cpp @@ -492,7 +492,7 @@ bool lar_solver::move_non_basic_column_to_bounds(unsigned j) { switch (lcs.m_column_types()[j]) { case column_type::boxed: if (val != lcs.m_r_lower_bounds()[j] && val != lcs.m_r_upper_bounds()[j]) { - if (random() % 2 == 0) + if (m_settings.random_next() % 2 == 0) set_value_for_nbasic_column(j, lcs.m_r_lower_bounds()[j]); else set_value_for_nbasic_column(j, lcs.m_r_upper_bounds()[j]);