Still adding code to construct termination graph, abstract repair actions, concrete...

[repair.git] / Repair / RepairCompiler / MCC / IR / DNFRule.java

diff --git a/Repair/RepairCompiler/MCC/IR/DNFRule.java b/Repair/RepairCompiler/MCC/IR/DNFRule.java
index 942f7f63d83641c4bcae6e22b3aa19cba51f42f0..ab76f579f200aec5b304bb1626508242654300a1 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/DNFRule.java
+++ b/Repair/RepairCompiler/MCC/IR/DNFRule.java
@@ -63,7 +63,7 @@ public class DNFRule {
     public DNFRule not() {
        DNFRule copy=copy();
        for (int i=0;i<size();i++) {
-           RuleConjunction conj=get(i);
+           RuleConjunction conj=copy.get(i);
            for (int j=0;j<conj.size();j++) {
                DNFExpr dp=conj.get(j);
                dp.negatePred();