lemon/cplex.cc
changeset 1015 d32e4453b48c
parent 988 8d281761dea4
child 1016 97975184f4aa
equal deleted inserted replaced
7:dfaefc266e4e 9:d00328e07e88
    38   }
    38   }
    39 
    39 
    40   CplexEnv::CplexEnv() {
    40   CplexEnv::CplexEnv() {
    41     int status;
    41     int status;
    42     _cnt = new int;
    42     _cnt = new int;
       
    43     (*_cnt) = 1;
    43     _env = CPXopenCPLEX(&status);
    44     _env = CPXopenCPLEX(&status);
    44     if (_env == 0) {
    45     if (_env == 0) {
    45       delete _cnt;
    46       delete _cnt;
    46       _cnt = 0;
    47       _cnt = 0;
    47       throw LicenseError(status);
    48       throw LicenseError(status);