From b0ca253ce73469e8b1247d7ee1c7d8de4bc09488 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Tue, 8 Apr 2008 13:31:43 +0200
Subject: [PATCH] verify.c: evalue_optimum: allow computation of optimum in 0D
 domain

---
 verify.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/verify.c b/verify.c
index bfc0c4b..10b59aa 100644
--- a/verify.c
+++ b/verify.c
@@ -495,7 +495,7 @@ void evalue_optimum(const struct check_EP_data *data, Value *opt, int sign)
     int found = 0;
 
     for (i = 0; i < data->n_S; ++i)
-	if (!emptyQ2(data->S[i]))
+	if (!(data->S[i] && emptyQ(data->S[i])))
 	    optimum(data->S[i], 0, data, opt, &found, sign);
     assert(found);
 }
-- 
2.11.4.GIT