From: bdemsky <bdemsky@uci.edu>
Date: Sat, 26 Aug 2017 06:11:00 +0000 (-0700)
Subject: Style change...
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=1684a704b51697888cbba92817260cfb08fcc409;p=satune.git

Style change...
---

diff --git a/src/Backend/satfuncopencoder.cc b/src/Backend/satfuncopencoder.cc
index 9394899..7f7341a 100644
--- 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);