From facdc9fd49c05b968c55c54deb21ba5d3a673f52 Mon Sep 17 00:00:00 2001 From: Peizhao Ou Date: Wed, 20 Jul 2016 17:49:47 -0700 Subject: [PATCH] fixed commutativity rule --- src/edu/uci/eecs/codeGenerator/CodeGeneratorUtils.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/edu/uci/eecs/codeGenerator/CodeGeneratorUtils.java b/src/edu/uci/eecs/codeGenerator/CodeGeneratorUtils.java index e6fd383..f85ec8e 100644 --- a/src/edu/uci/eecs/codeGenerator/CodeGeneratorUtils.java +++ b/src/edu/uci/eecs/codeGenerator/CodeGeneratorUtils.java @@ -569,9 +569,9 @@ public class CodeGeneratorUtils { code.addLine(TabbedLine( DeclareDefine(structName2, "*M2", "(" + structName2 + "*) m2->value"), 2)); - code.addLine(TabbedLine("return " + rule.condition + ";", 2)); + code.addLine(TabbedLine("return !(" + rule.condition + ");", 2)); code.addLine(TabbedLine("}")); - code.addLine(TabbedLine("return false;")); + code.addLine(TabbedLine("return true;")); code.addLine("}"); code.addLine(""); -- 2.34.1