1.1 --- a/lemon/glpk.h	Mon Feb 23 11:31:22 2009 +0000
     1.2 +++ b/lemon/glpk.h	Mon Feb 23 22:54:25 2009 +0100
     1.3 @@ -102,6 +102,14 @@
     1.4  
     1.5    public:
     1.6  
     1.7 +    /// \brief Deallocates the globally allocated memory of GLPK.
     1.8 +
     1.9 +    /// Deallocates the globally allocated memory of GLPK.  \note
    1.10 +    /// Usually, it do not have to be called, because the GLPK use
    1.11 +    /// only a small amount of global memory, and it is deallocated
    1.12 +    /// automatically at the end of program.
    1.13 +    static void freeEnv();
    1.14 +
    1.15      ///Pointer to the underlying GLPK data structure.
    1.16      LPX *lpx() {return lp;}
    1.17      ///Const pointer to the underlying GLPK data structure.