X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FASTAnalyses%2FPolarity%2Fpolarityassignment.cc;h=b8b01d0e6a4b99f769a4df47d7fa734c044a5f10;hp=4a772ee87839187cca95aa9e1acd4bf6c1f03d04;hb=cbd921ee35b6a29934fd7cecccde7f160228af17;hpb=4fd5cd60484d477ef7110813d8206325f75822ea

diff --git a/src/ASTAnalyses/Polarity/polarityassignment.cc b/src/ASTAnalyses/Polarity/polarityassignment.cc
index 4a772ee..b8b01d0 100644
--- a/src/ASTAnalyses/Polarity/polarityassignment.cc
+++ b/src/ASTAnalyses/Polarity/polarityassignment.cc
@@ -2,6 +2,9 @@
 #include "csolver.h"
 
 void computePolarities(CSolver *This) {
+	if(This->isUnSAT()){
+		return;
+	}
 	SetIteratorBooleanEdge *iterator = This->getConstraints();
 	while (iterator->hasNext()) {
 		BooleanEdge boolean = iterator->next();