From 7babc326254d476e6d2050e93c7b6bb506aa65a4 Mon Sep 17 00:00:00 2001 From: Hamed Gorjiara Date: Wed, 18 Jul 2018 16:31:09 -0700 Subject: [PATCH] Bug fix for polarity assignment --- src/ASTAnalyses/Polarity/polarityassignment.cc | 1 + 1 file changed, 1 insertion(+) 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); -- 2.34.1