summaryrefslogtreecommitdiff
path: root/Source/Dafny/Printer.cs
diff options
context:
space:
mode:
authorGravatar Dan Rosén <danr@chalmers.se>2014-08-14 17:36:16 -0700
committerGravatar Dan Rosén <danr@chalmers.se>2014-08-14 17:36:16 -0700
commit216a678f773583332bb7835b6b515ec9ad35e40d (patch)
treec3e94aeab75f948768a29f80dd8b2dbaf0ffda3c /Source/Dafny/Printer.cs
parent32effe3867360e4f10214be12f2b3f35db929f8b (diff)
Refactor: Change ApplyExpr's Receiver to Function
Diffstat (limited to 'Source/Dafny/Printer.cs')
-rw-r--r--Source/Dafny/Printer.cs2
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Printer.cs b/Source/Dafny/Printer.cs
index 349c954a..bfbc9644 100644
--- a/Source/Dafny/Printer.cs
+++ b/Source/Dafny/Printer.cs
@@ -1357,7 +1357,7 @@ namespace Microsoft.Dafny {
if (parensNeeded) { wr.Write("("); }
- PrintExpr(e.Receiver, opBindingStrength, false, false, !parensNeeded && isFollowedBySemicolon, -1);
+ PrintExpr(e.Function, opBindingStrength, false, false, !parensNeeded && isFollowedBySemicolon, -1);
wr.Write("(");
PrintExpressionList(e.Args, false);
wr.Write(")");