From 9d4c8e3316bfa270bd7fff0001ed02b3883c84d9 Mon Sep 17 00:00:00 2001
From: skimo <skimo>
Date: Tue, 30 Mar 2004 14:52:28 +0000
Subject: [PATCH] compute "complement" if needed

---
 ev_operations.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ev_operations.c b/ev_operations.c
index 72ef5b5..4f153b6 100644
--- a/ev_operations.c
+++ b/ev_operations.c
@@ -1268,6 +1268,8 @@ static double compute_enode(enode *p, Value *list_args) {
   else if (p->type == relation) {
     if (fabs(compute_evalue(&p->arr[0], list_args)) < 0.5)
       res = compute_evalue(&p->arr[1], list_args);
+    else if (p->size > 2)
+      res = compute_evalue(&p->arr[2], list_args);
   }
   value_clear(m);
   value_clear(param);
-- 
2.11.4.GIT