Committing changes to leftsize->rightSize, more comments, and handling

[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..018df2fea7061c249748b6aaa86659cd8695ec05 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/DNFConstraint.java
+++ b/Repair/RepairCompiler/MCC/IR/DNFConstraint.java
@@ -6,7 +6,7 @@ public class DNFConstraint {
 
     public DNFConstraint(Predicate p) {
        conjunctions=new Vector();
-       conjunctions.add(new Conjunction(new DNFPredicate(true,p)));
+       conjunctions.add(new Conjunction(new DNFPredicate(false,p)));
     }
 
     public DNFConstraint(Conjunction conj) {
@@ -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();