diff -r 4bb9e72e1a41 -r 7fdaa05a69a1 lemon/glpk.cc
--- a/lemon/glpk.cc	Wed Sep 12 17:25:48 2012 +0200
+++ b/lemon/glpk.cc	Thu Sep 13 11:56:19 2012 +0200
@@ -556,8 +556,6 @@
 
   void GlpkBase::_clear() {
     glp_erase_prob(lp);
-    rows.clear();
-    cols.clear();
   }
 
   void GlpkBase::freeEnv() {