fixed commutativity rule

diff --git a/src/edu/uci/eecs/codeGenerator/CodeGeneratorUtils.java b/src/edu/uci/eecs/codeGenerator/CodeGeneratorUtils.java
index e6fd383e249390613d9fff2fab9905650fc5e9b0..f85ec8e674176997d696414b19517167db700377 100644 (file)
--- 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("");