1.1 --- a/lemon/glpk.cc Thu Jan 19 15:25:06 2012 +0100
1.2 +++ b/lemon/glpk.cc Sat May 05 10:22:44 2012 +0200
1.3 @@ -520,8 +520,6 @@
1.4
1.5 void GlpkBase::_clear() {
1.6 glp_erase_prob(lp);
1.7 - rows.clear();
1.8 - cols.clear();
1.9 }
1.10
1.11 void GlpkBase::freeEnv() {