1.1 --- a/lemon/glpk.cc	Sun Mar 01 07:10:49 2009 +0000
     1.2 +++ b/lemon/glpk.cc	Wed Mar 04 13:43:05 2009 +0000
     1.3 @@ -522,6 +522,12 @@
     1.4      cols.clear();
     1.5    }
     1.6  
     1.7 +  void GlpkBase::freeEnv() {
     1.8 +    glp_free_env();
     1.9 +  }
    1.10 +
    1.11 +  GlpkBase::FreeEnvHelper GlpkBase::freeEnvHelper;
    1.12 +
    1.13    // GlpkLp members
    1.14  
    1.15    GlpkLp::GlpkLp()