michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

dev(lp): remove a warning

Browse source 
Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
This commit is contained in:
Lev Nachmanson 2016-02-03 16:48:19 -08:00 committed by Leonardo de Moura
parent a7e3befd21
commit 0e4f98dc47
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/lp/lp_primal_core_solver.cpp
View file

@ -29,7 +29,7 @@ void lp_primal_core_solver<T, X>::sort_non_basis() {
m_non_basis_list.clear(); m_non_basis_list.clear();
// reinit m_basis_heading // 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]; unsigned col = this->m_non_basic_columns[j];
this->m_basis_heading[col] = - j - 1; this->m_basis_heading[col] = - j - 1;
m_non_basis_list.push_back(col); m_non_basis_list.push_back(col);