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

[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 5739d6320cf3862a4a12b460ecc68e1cfb4e3904..86cf50a893e438a28e6de533c95e4bcd977d272e 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/ForQuantifier.java
+++ b/Repair/RepairCompiler/MCC/IR/ForQuantifier.java
@@ -32,7 +32,7 @@ public class ForQuantifier extends Quantifier {
     }
 
     public String toString() {
-        return "for quantifier " + var.getSymbol() + " = " + lower + " to " + upper;
+        return "for quantifier " + var.getSymbol() + " = " + lower.name() + " to " + upper.name();
     }
 
     public void generate_open(CodeWriter writer) {