diff -r 89e29e22d479 -r fc6c7aab4b8d lemon/glpk.cc
--- a/lemon/glpk.cc	Sun Mar 01 07:10:49 2009 +0000
+++ b/lemon/glpk.cc	Wed Mar 04 13:43:05 2009 +0000
@@ -522,6 +522,12 @@
     cols.clear();
   }
 
+  void GlpkBase::freeEnv() {
+    glp_free_env();
+  }
+
+  GlpkBase::FreeEnvHelper GlpkBase::freeEnvHelper;
+
   // GlpkLp members
 
   GlpkLp::GlpkLp()