From e254e890a1285f54ab7914d7c4ac3aa7fb6c423b Mon Sep 17 00:00:00 2001
From: pjneary <pjneary@gmail.com>
Date: Mon, 11 May 2020 20:41:34 -0400
Subject: [PATCH] Fix compile error GCC 6.3.1 (#4274)

auto deduce compile error
---
 src/math/lp/nex_creator.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/math/lp/nex_creator.cpp b/src/math/lp/nex_creator.cpp
index 11b791ef8..c43b723ef 100644
--- a/src/math/lp/nex_creator.cpp
+++ b/src/math/lp/nex_creator.cpp
@@ -98,7 +98,9 @@ bool nex_creator::gt_on_powers_mul_same_degree(const T& a, const nex_mul& b) con
     bool ret = false;
     unsigned a_pow = a.begin()->pow();
     unsigned b_pow = b.begin()->pow();
-    for (auto it_a = a.begin(), it_b = b.begin(); it_a != a.end() && it_b != b.end(); ) {
+    auto it_a = a.begin();
+    auto it_b = b.begin();
+    for (; it_a != a.end() && it_b != b.end(); ) {
         if (gt(it_a->e(), it_b->e())){
             ret = true;
             break;