1.1 --- a/lemon/glpk.cc	Mon Feb 23 11:31:22 2009 +0000
     1.2 +++ b/lemon/glpk.cc	Mon Feb 23 22:54:25 2009 +0100
     1.3 @@ -522,6 +522,10 @@
     1.4      cols.clear();
     1.5    }
     1.6  
     1.7 +  void GlpkBase::freeEnv() {
     1.8 +    glp_free_env();
     1.9 +  }
    1.10 +
    1.11    // GlpkLp members
    1.12  
    1.13    GlpkLp::GlpkLp()