lemon/cplex.cc
changeset 798 d32e4453b48c
parent 785 8d281761dea4
child 799 015801ff09d1
     1.1 --- a/lemon/cplex.cc	Wed Nov 28 11:41:40 2012 +0100
     1.2 +++ b/lemon/cplex.cc	Fri Jul 20 21:23:17 2012 +0200
     1.3 @@ -40,6 +40,7 @@
     1.4    CplexEnv::CplexEnv() {
     1.5      int status;
     1.6      _cnt = new int;
     1.7 +    (*_cnt) = 1;
     1.8      _env = CPXopenCPLEX(&status);
     1.9      if (_env == 0) {
    1.10        delete _cnt;