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]);