diff -r a26b90a17c81 -r 8b2d4e5d96e4 lemon/cplex.cc
--- a/lemon/cplex.cc	Wed Nov 28 11:58:00 2012 +0100
+++ b/lemon/cplex.cc	Wed Aug 07 06:55:05 2013 +0200
@@ -40,6 +40,7 @@
   CplexEnv::CplexEnv() {
     int status;
     _cnt = new int;
+    (*_cnt) = 1;
     _env = CPXopenCPLEX(&status);
     if (_env == 0) {
       delete _cnt;