Style change...

diff --git a/src/Backend/satfuncopencoder.cc b/src/Backend/satfuncopencoder.cc
index 9394899951b4898949e91563ccdeec9354d5568d..7f7341a7cb8a5c392c6728381e25276a6082034a 100644 (file)
--- a/src/Backend/satfuncopencoder.cc
+++ b/src/Backend/satfuncopencoder.cc
@@ -49,8 +49,8 @@ Edge encodeEnumOperatorPredicateSATEncoder(SATEncoder *This, BooleanPredicate *c
        bool notfinished = true;
        while (notfinished) {
                Edge carray[numDomains];
-
-               if (predicate->evalPredicateOperator(vals) ^ generateNegation) {
+               
+               if (predicate->evalPredicateOperator(vals) != generateNegation) {
                        //Include this in the set of terms
                        for (uint i = 0; i < numDomains; i++) {
                                Element *elem = constraint->inputs.get(i);