optim: fix bug with unconstrained problems

ibex-team · Sep 5, 2019 · 283365f · 283365f
1 parent 3aa739d
commit 283365f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;
 		}