diff options
| author |  stefanheule <unknown> | 2012-06-20 23:22:07 +0200 |
|---|---|---|
| committer | stefanheule <unknown> | 2012-06-20 23:22:07 +0200 |
| commit | fbb49d063841042511bf29c48892ef82e42853a1 (patch) | |
| tree | 6de9f7e16e879697a50abbe70b34eb8a89f5ec02 /Chalice | |
| parent | 7a687c8b6d2c2149edd13274cd9d5a317e41e0fa (diff) | |
Chalice: Fix bug in PrettyPrinter reported by danieljost (http://boogie.codeplex.com/workitem/10224).
Diffstat (limited to 'Chalice')
| -rw-r--r-- | Chalice/src/main/scala/PrettyPrinter.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Chalice/src/main/scala/PrettyPrinter.scala b/Chalice/src/main/scala/PrettyPrinter.scala index 18557b99..a54173df 100644 --- a/Chalice/src/main/scala/PrettyPrinter.scala +++ b/Chalice/src/main/scala/PrettyPrinter.scala @@ -285,7 +285,7 @@ object PrintProgram { case IntPermTimes(n, p) => BinExpr(n, p, "*", 0x60, false, false, contextBindingPower, fragileContext)
case Epsilons(e) => print("rd("); Expr(e); print(")");
case Access(e, p) => print("acc("); Expr(e); print(", "); Expr(p); print(")")
- case AccessAll(obj, p) => print("acc("); Expr(obj); print(", "); print(".*"); Expr(p); print(")")
+ case AccessAll(obj, p) => print("acc("); Expr(obj); print(".*"); print(", "); Expr(p); print(")")
case AccessSeq(s, f, p) => print("acc("); Expr(s); print(", "); print("[*].");
f match { case None => print("*"); case Some(x) => print(x)}
Expr(p); print(")")
|