diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-18 09:09:45 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-18 09:09:45 -0700 |
| commit | 6ed47f5d08cc266afab92795599290d029a39c86 (patch) | |
| tree | 95f61b005118ae558fc5e92dc40728ce570a169c /Source/Dafny/Printer.cs | |
| parent | 6891a07f8213448bb483e434f66f552370fe9d66 (diff) | |
Refactor calls to 'new CallCmd' and clear a few FIXMEs
Diffstat (limited to 'Source/Dafny/Printer.cs')
| -rw-r--r-- | Source/Dafny/Printer.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Printer.cs b/Source/Dafny/Printer.cs index 7c684fde..971fe867 100644 --- a/Source/Dafny/Printer.cs +++ b/Source/Dafny/Printer.cs @@ -1373,7 +1373,7 @@ namespace Microsoft.Dafny { PrintTypeInstantiation(e.OptTypeArguments);
} else if (expr is ExprDotName) {
- var e = (ExprDotName)expr; //CLEMENT: Check the newly added Implicit parameter to make sure that we don't print "_default." DONE in FunctionCall. Where else?
+ var e = (ExprDotName)expr;
// determine if parens are needed
int opBindingStrength = 0x70;
bool parensNeeded = !e.Lhs.IsImplicit && // KRML: I think that this never holds
|