From 283365f677012a80c0df3920878374f6888c398d Mon Sep 17 00:00:00 2001
From: Gilles Chabert <gilles.chabert@imt-atlantique.fr>
Date: Thu, 5 Sep 2019 21:18:22 +0200
Subject: [PATCH] optim: fix bug with unconstrained problems

---
 plugins/optim/main/ibexopt.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugins/optim/main/ibexopt.cpp b/plugins/optim/main/ibexopt.cpp
index 408c193b4..c4fb87672 100644
--- a/plugins/optim/main/ibexopt.cpp
+++ b/plugins/optim/main/ibexopt.cpp
@@ -208,7 +208,7 @@ int main(int argc, char** argv) {
 		bool inHC4=true;
 
 
-		if (!sys->f_ctrs.inhc4revise().implemented()) {
+		if (sys->nb_ctr>0 && !sys->f_ctrs.inhc4revise().implemented()) {
 			inHC4=false;
 		}