let command line define flags optionally

[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 4b50b307f29090bda6c9a96c96fc7ef712fac03b..c03c521932b9e8fd467405cd776779cadc74d4e8 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/Quantifier.java
+++ b/Repair/RepairCompiler/MCC/IR/Quantifier.java
@@ -9,4 +9,5 @@ public abstract class Quantifier {
 
     public abstract int generate_worklistload(CodeWriter writer, int offset);
     public abstract int generate_workliststore(CodeWriter writer, int offset);
+    public abstract void generate_open(CodeWriter writer, String type,int number, String left,String right);
 }