projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 98abdd3) | patch
Fix compile warnings when compiling with GLPK. (#6115)
authorMathias Preiner <mathias.preiner@gmail.com>
Thu, 11 Mar 2021 03:08:01 +0000 (19:08 -0800)
committerGitHub <noreply@github.com>
Thu, 11 Mar 2021 03:08:01 +0000 (03:08 +0000)
commite348f20c62bd55993d675ba4994d7aa6322b7b2f
tree7105e1037d4b988fe05b43d527643dd3d326beabtree
parent98abdd354351cdf3d8fb64a4eeca38db63cbbeeacommit | diff
Fix compile warnings when compiling with GLPK. (#6115)

Fixes -Wshadow and -Wsuggest-override wranings.
src/theory/arith/approx_simplex.cpp diff | blob | history