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

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

diff --git a/Repair/RepairCompiler/MCC/IR/RuleConjunction.java b/Repair/RepairCompiler/MCC/IR/RuleConjunction.java
index c1aa03bbb5bdd9d4c82566a88f5ffb9f8d2b9a48..b2723bcd598d87338320ffe3f8b0779fe032b96f 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/RuleConjunction.java
+++ b/Repair/RepairCompiler/MCC/IR/RuleConjunction.java
@@ -34,7 +34,7 @@ public class RuleConjunction {
 
     public RuleConjunction copy() {
        Vector vector=new Vector();
-       for (int i=0;i<=size();i++) {
+       for (int i=0;i<size();i++) {
            DNFExpr dp=get(i);
            vector.add(new DNFExpr(dp));
        }