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()