1.1 --- a/lemon/lp_soplex.cc	Mon Feb 19 09:55:43 2007 +0000
     1.2 +++ b/lemon/lp_soplex.cc	Mon Feb 19 12:11:41 2007 +0000
     1.3 @@ -76,7 +76,9 @@
     1.4  
     1.5    void LpSoplex::_eraseCol(int i) {
     1.6      soplex->removeCol(i);
     1.7 +    invColNames.erase(colNames[i]);
     1.8      colNames[i] = colNames.back();
     1.9 +    invColNames[colNames.back()] = i;
    1.10      colNames.pop_back();
    1.11      primal_value[i] = primal_value.back();
    1.12      primal_value.pop_back();