diff -r b873350e6258 -r 8d281761dea4 lemon/glpk.cc
--- a/lemon/glpk.cc	Thu Jan 19 15:25:06 2012 +0100
+++ b/lemon/glpk.cc	Sat May 05 10:22:44 2012 +0200
@@ -520,8 +520,6 @@
 
   void GlpkBase::_clear() {
     glp_erase_prob(lp);
-    rows.clear();
-    cols.clear();
   }
 
   void GlpkBase::freeEnv() {