New Resolver Design for Decompose Order

[satune.git] / src / ASTAnalyses / Polarity / polarityassignment.cc

diff --git a/src/ASTAnalyses/Polarity/polarityassignment.cc b/src/ASTAnalyses/Polarity/polarityassignment.cc
index 0be806623602a3ae1d59fbce9e073d2a24c91a80..6254832477b7abd72102e544e2d75012a026f671 100644 (file)
--- a/src/ASTAnalyses/Polarity/polarityassignment.cc
+++ b/src/ASTAnalyses/Polarity/polarityassignment.cc
@@ -46,10 +46,10 @@ void computePredicatePolarity(BooleanPredicate *This) {
 }
 
 void computeLogicOpPolarity(BooleanLogic *This) {
-       Polarity child=computeLogicOpPolarityChildren(This);
+       Polarity child = computeLogicOpPolarityChildren(This);
        uint size = This->inputs.getSize();
        for (uint i = 0; i < size; i++) {
-               BooleanEdge b=This->inputs.get(i);
+               BooleanEdge b = This->inputs.get(i);
                computePolarity(b.getBoolean(), b.isNegated() ? negatePolarity(child) : child);
        }
 }