Fix some of Dan's bugs (code generation for relation quantifiers misstyped), didn...

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

diff --git a/Repair/RepairCompiler/MCC/IR/Quantifier.java b/Repair/RepairCompiler/MCC/IR/Quantifier.java
index 2f5c170bcbc70dafaa058baa9c40ea6f4461f012..4b50b307f29090bda6c9a96c96fc7ef712fac03b 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/Quantifier.java
+++ b/Repair/RepairCompiler/MCC/IR/Quantifier.java
@@ -9,5 +9,4 @@ public abstract class Quantifier {
 
     public abstract int generate_worklistload(CodeWriter writer, int offset);
     public abstract int generate_workliststore(CodeWriter writer, int offset);
-
 }