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

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

diff --git a/Repair/RepairCompiler/MCC/IR/DNFConstraint.java b/Repair/RepairCompiler/MCC/IR/DNFConstraint.java
index 1f3849ff52d1737272e29af06d901c5040b297c0..4aff0d5949a193636ac49a816e6446c6eeedef21 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/DNFConstraint.java
+++ b/Repair/RepairCompiler/MCC/IR/DNFConstraint.java
@@ -63,7 +63,7 @@ public class DNFConstraint {
     public DNFConstraint not() {
        DNFConstraint copy=copy();
        for (int i=0;i<size();i++) {
-           Conjunction conj=get(i);
+           Conjunction conj=copy.get(i);
            for (int j=0;j<conj.size();j++) {
                DNFPredicate dp=conj.get(j);
                dp.negatePred();