diff -r 89e29e22d479 -r fc6c7aab4b8d lemon/glpk.h --- a/lemon/glpk.h Sun Mar 01 07:10:49 2009 +0000 +++ b/lemon/glpk.h Wed Mar 04 13:43:05 2009 +0000 @@ -100,6 +100,18 @@ virtual void _clear(); + private: + + static void freeEnv(); + + struct FreeEnvHelper { + ~FreeEnvHelper() { + freeEnv(); + } + }; + + static FreeEnvHelper freeEnvHelper; + public: ///Pointer to the underlying GLPK data structure.