fixed minor bug in existsAbstractRepresentative

Former-commit-id: 36a4d8d435
8 years ago · 3f15644e60
1 changed files with 1 additions and 1 deletions
--- 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);