diff -r 7e368d9b67f7 -r d32e4453b48c lemon/cplex.cc
--- a/lemon/cplex.cc	Wed Nov 28 11:41:40 2012 +0100
+++ b/lemon/cplex.cc	Fri Jul 20 21:23:17 2012 +0200
@@ -40,6 +40,7 @@
   CplexEnv::CplexEnv() {
     int status;
     _cnt = new int;
+    (*_cnt) = 1;
     _env = CPXopenCPLEX(&status);
     if (_env == 0) {
       delete _cnt;