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 4aff0d5949a193636ac49a816e6446c6eeedef21..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) {