diff -r 06e0fb20a97c -r 0fec6a017ead lemon/glpk.cc
--- a/lemon/glpk.cc	Mon Feb 23 11:31:22 2009 +0000
+++ b/lemon/glpk.cc	Mon Feb 23 22:54:25 2009 +0100
@@ -522,6 +522,10 @@
     cols.clear();
   }
 
+  void GlpkBase::freeEnv() {
+    glp_free_env();
+  }
+
   // GlpkLp members
 
   GlpkLp::GlpkLp()