diff -r c18ed26f016c -r 015801ff09d1 lemon/cplex.cc
--- a/lemon/cplex.cc	Wed Nov 28 11:42:38 2012 +0100
+++ b/lemon/cplex.cc	Fri Feb 22 16:42:56 2013 +0100
@@ -40,6 +40,7 @@
   CplexEnv::CplexEnv() {
     int status;
     _cnt = new int;
+    (*_cnt) = 1;
     _env = CPXopenCPLEX(&status);
     if (_env == 0) {
       delete _cnt;