test/mip_test.cc
changeset 537 0fec6a017ead
parent 462 9b082b3fb33f
child 538 ba124394367a
     1.1 --- a/test/mip_test.cc	Mon Feb 23 11:31:22 2009 +0000
     1.2 +++ b/test/mip_test.cc	Mon Feb 23 22:54:25 2009 +0100
     1.3 @@ -115,6 +115,7 @@
     1.4      GlpkMip mip1;
     1.5      aTest(mip1);
     1.6    }
     1.7 +  GlpkLp::freeEnv();
     1.8  #endif
     1.9  
    1.10  #ifdef HAVE_CPLEX