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

chore(lp): fix compilation error

Browse source
This commit is contained in:
Mauricio Collares 2022-03-18 18:28:08 -03:00
parent 8072fdf9a0
commit 09b316ce75
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/permutation_matrix.h
View file

@ -123,7 +123,7 @@ namespace lean {
unsigned size() const { return static_cast<unsigned>(m_rev.size()); }
unsigned * values() const { return m_permutation; }
const unsigned * values() const { return &m_permutation[0]; }
}; // end of the permutation class
#ifdef LEAN_DEBUG