diff -r 1fe3b4ad8caa -r 2c48ba00fccd lemon/cplex.cc
--- a/lemon/cplex.cc	Wed Nov 28 12:02:36 2012 +0100
+++ b/lemon/cplex.cc	Fri Feb 22 16:44:26 2013 +0100
@@ -40,6 +40,7 @@
   CplexEnv::CplexEnv() {
     int status;
     _cnt = new int;
+    (*_cnt) = 1;
     _env = CPXopenCPLEX(&status);
     if (_env == 0) {
       delete _cnt;