From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Wed, 18 Jul 2018 23:31:09 +0000 (-0700)
Subject: Bug fix for polarity assignment
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=7babc326254d476e6d2050e93c7b6bb506aa65a4;p=satune.git

Bug fix for polarity assignment
---

diff --git a/src/ASTAnalyses/Polarity/polarityassignment.cc b/src/ASTAnalyses/Polarity/polarityassignment.cc
index dc69a57..f941227 100644
--- a/src/ASTAnalyses/Polarity/polarityassignment.cc
+++ b/src/ASTAnalyses/Polarity/polarityassignment.cc
@@ -44,6 +44,7 @@ void computePolarity(Boolean *This, Polarity polarity) {
 		switch (This->type) {
 		case BOOLEANVAR:
 		case ORDERCONST:
+		case BOOLCONST:
 			return;
 		case PREDICATEOP:
 			return computePredicatePolarity((BooleanPredicate *)This);