changeset 530 | fc6c7aab4b8d |
parent 528 | 9db62975c32b |
parent 526 | ba124394367a |
child 540 | 9d0d7e20f76d |
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()