projects
/
repair.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
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) {