From: Peizhao Ou <peizhaoo@uci.edu>
Date: Thu, 21 Jul 2016 00:49:47 +0000 (-0700)
Subject: fixed commutativity rule
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=commitdiff_plain;h=facdc9fd49c05b968c55c54deb21ba5d3a673f52;ds=sidebyside

fixed commutativity rule
---

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("");