From 3f15644e6006757953a46583359017fe087dc7ed Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 17 Aug 2016 10:23:27 +0200
Subject: [PATCH] fixed minor bug in existsAbstractRepresentative

Former-commit-id: 36a4d8d43509e67fad584accb0334fcc2c7d6a26
---
 resources/3rdparty/cudd-3.0.0/cudd/cuddBddAbs.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/3rdparty/cudd-3.0.0/cudd/cuddBddAbs.c b/resources/3rdparty/cudd-3.0.0/cudd/cuddBddAbs.c
index d7aa33cb3..2c01c6404 100644
--- a/resources/3rdparty/cudd-3.0.0/cudd/cuddBddAbs.c
+++ b/resources/3rdparty/cudd-3.0.0/cudd/cuddBddAbs.c
@@ -616,7 +616,7 @@ cuddBddExistAbstractRepresentativeRecur(
             if (F->ref != 1) {
                 cuddCacheInsert2(manager, Cudd_bddExistAbstractRepresentative, f, cube, one);
             }
-            return(cube);
+            return(Cudd_Not(cube));
         }
         cuddRef(res1);