Fixed lot of random bugs. Added code generate strings for expr's.

[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 ab76f579f200aec5b304bb1626508242654300a1..345a588e788378d77577b9e2158fd9754398312f 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/DNFRule.java
+++ b/Repair/RepairCompiler/MCC/IR/DNFRule.java
@@ -6,7 +6,7 @@ public class DNFRule {
 
     public DNFRule(Expr e) {
        ruleconjunctions=new Vector();
-       ruleconjunctions.add(new RuleConjunction(new DNFExpr(true,e)));
+       ruleconjunctions.add(new RuleConjunction(new DNFExpr(false,e)));
     }
 
     public DNFRule(RuleConjunction conj) {