diff options
| -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(")")
|