diff -r 06e0fb20a97c -r 0fec6a017ead lemon/glpk.h
--- a/lemon/glpk.h	Mon Feb 23 11:31:22 2009 +0000
+++ b/lemon/glpk.h	Mon Feb 23 22:54:25 2009 +0100
@@ -102,6 +102,14 @@
 
   public:
 
+    /// \brief Deallocates the globally allocated memory of GLPK.
+
+    /// Deallocates the globally allocated memory of GLPK.  \note
+    /// Usually, it do not have to be called, because the GLPK use
+    /// only a small amount of global memory, and it is deallocated
+    /// automatically at the end of program.
+    static void freeEnv();
+
     ///Pointer to the underlying GLPK data structure.
     LPX *lpx() {return lp;}
     ///Const pointer to the underlying GLPK data structure.