diff -r be7dd3a8d6a3 -r 4764031c082c lemon/clp.cc --- a/lemon/clp.cc Fri Jan 20 19:20:02 2012 +0100 +++ b/lemon/clp.cc Sun May 06 16:52:11 2012 +0200 @@ -437,8 +437,6 @@ void ClpLp::_clear() { delete _prob; _prob = new ClpSimplex(); - rows.clear(); - cols.clear(); _col_names_ref.clear(); _clear_temporals(); }