X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FASTAnalyses%2Fpolarityassignment.cc;h=14789304b49a797d74a14e4da5af02b6008dcd76;hb=ef5d7a44cfe435c24e5f104e320b1a81835626e7;hp=38f32aebbcf2bde972bb019e7cb2f10dfb836c1c;hpb=87e67ce60ad79d235655d7c74276ba27d1d98632;p=satune.git

diff --git a/src/ASTAnalyses/polarityassignment.cc b/src/ASTAnalyses/polarityassignment.cc
index 38f32ae..1478930 100644
--- a/src/ASTAnalyses/polarityassignment.cc
+++ b/src/ASTAnalyses/polarityassignment.cc
@@ -95,6 +95,7 @@ void computeLogicOpPolarity(BooleanLogic *This) {
 		updatePolarity(tmp, negatePolarity(parentpolarity));
 		break;
 	}
+	case SATC_IFF:
 	case SATC_XOR: {
 		updatePolarity(This->inputs.get(0), P_BOTHTRUEFALSE);
 		updatePolarity(This->inputs.get(1), P_BOTHTRUEFALSE);
@@ -144,6 +145,7 @@ void computeLogicOpBooleanValue(BooleanLogic *This) {
 			updateMustValue(This->inputs.get(1), parentbv);
 		}
 		return;
+	case SATC_IFF:
 	case SATC_XOR:
 		return;
 	default: