1.1 --- a/lemon/elevator.h	Mon Jan 22 10:22:14 2007 +0000
     1.2 +++ b/lemon/elevator.h	Mon Jan 22 12:13:57 2007 +0000
     1.3 @@ -223,7 +223,7 @@
     1.4      ///
     1.5      ///\return the level of the highest active item or -1 if there is no active
     1.6      ///item.
     1.7 -    Item highestActiveLevel() const 
     1.8 +    int highestActiveLevel() const 
     1.9      {
    1.10        return _highest_active;
    1.11      }

     2.1 --- a/lemon/lp_glpk.cc	Mon Jan 22 10:22:14 2007 +0000
     2.2 +++ b/lemon/lp_glpk.cc	Mon Jan 22 12:13:57 2007 +0000
     2.3 @@ -119,6 +119,7 @@
     2.4    void LpGlpk::_setColName(int col, const std::string & name)
     2.5    {
     2.6      lpx_set_col_name(lp,col,const_cast<char*>(name.c_str()));
     2.7 +
     2.8    }
     2.9    
    2.10    void LpGlpk::_setRowCoeffs(int i, LpRowIterator b, LpRowIterator e)