     1.1 --- a/lemon/glpk.cc	Fri Feb 03 05:55:39 2012 +0100
     1.2 +++ b/lemon/glpk.cc	Sun May 06 17:18:39 2012 +0200
     1.3 @@ -556,8 +556,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() {
changeset 1143	38e1d4383262
parent 956	141f9c0db4a3
parent 1140	8d281761dea4
child 1231	1782aa72495a