From 1684a704b51697888cbba92817260cfb08fcc409 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Fri, 25 Aug 2017 23:11:00 -0700
Subject: [PATCH] Style change...
---
src/Backend/satfuncopencoder.cc | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
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);
--
2.34.1