From 0e4f98dc475d158325fafee34258f372cbdc0c4a Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Wed, 3 Feb 2016 16:48:19 -0800 Subject: [PATCH] dev(lp): remove a warning Signed-off-by: Lev Nachmanson --- src/util/lp/lp_primal_core_solver.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/lp/lp_primal_core_solver.cpp b/src/util/lp/lp_primal_core_solver.cpp index 07972b96e..906a4579e 100644 --- a/src/util/lp/lp_primal_core_solver.cpp +++ b/src/util/lp/lp_primal_core_solver.cpp @@ -29,7 +29,7 @@ void lp_primal_core_solver::sort_non_basis() { m_non_basis_list.clear(); // reinit m_basis_heading - for (int j = 0; j < this->m_non_basic_columns.size(); j++) { + for (unsigned j = 0; j < this->m_non_basic_columns.size(); j++) { unsigned col = this->m_non_basic_columns[j]; this->m_basis_heading[col] = - j - 1; m_non_basis_list.push_back(col);