From faf39259b293c56b8b8f15b3cf2b04df44ee94b5 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 17 Jun 2019 21:01:22 -0700
Subject: [PATCH] randomize m_to_refine() init

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/nla_core.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/lp/nla_core.cpp b/src/math/lp/nla_core.cpp
index 856a84f03..ea6a298dc 100644
--- a/src/math/lp/nla_core.cpp
+++ b/src/math/lp/nla_core.cpp
@@ -967,7 +967,7 @@ void core::init_to_refine() {
     m_to_refine.clear();
     unsigned r = random(), sz = m_emons.number_of_monomials();
     for (unsigned k = 0; k < sz; k++) {
-        auto const & m = m_emons[(k + r)% sz];
+        auto const & m = *(m_emons.begin() + (k + r)% sz);
         if (!check_monomial(m)) 
             m_to_refine.push_back(m.var());
     }