Update:

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

diff --git a/Repair/RepairCompiler/MCC/IR/ForQuantifier.java b/Repair/RepairCompiler/MCC/IR/ForQuantifier.java
index 7cefd2c14a92216c0f7d78674dcd3abcaf0f62af..317d12c33c8b8f1139366bf56c7326cf2875c5a9 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/ForQuantifier.java
+++ b/Repair/RepairCompiler/MCC/IR/ForQuantifier.java
@@ -18,7 +18,6 @@ public class ForQuantifier extends Quantifier {
        return var;
     }
 
-
     public void setBounds(Expr lower, Expr upper) {
         this.lower = lower;
         this.upper = upper;