diff -r be7dd3a8d6a3 -r 4764031c082c lemon/glpk.cc
--- a/lemon/glpk.cc	Fri Jan 20 19:20:02 2012 +0100
+++ b/lemon/glpk.cc	Sun May 06 16:52:11 2012 +0200
@@ -556,8 +556,6 @@
 
   void GlpkBase::_clear() {
     glp_erase_prob(lp);
-    rows.clear();
-    cols.clear();
   }
 
   void GlpkBase::freeEnv() {