diff options
| -rw-r--r-- | Source/Dafny/Translator.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Dafny/Translator.cs b/Source/Dafny/Translator.cs index 0d97456d..2758e189 100644 --- a/Source/Dafny/Translator.cs +++ b/Source/Dafny/Translator.cs @@ -8107,8 +8107,8 @@ namespace Microsoft.Dafny { } else if (expr is NamedExpr) {
var e = (NamedExpr)expr;
- var body = Substitute(e.Body, receiverReplacement, substMap);
- var contract = e.Contract == null ? null : Substitute(e.Contract, receiverReplacement, substMap);
+ var body = Substitute(e.Body);
+ var contract = e.Contract == null ? null : Substitute(e.Contract);
newExpr = new NamedExpr(e.tok, e.Name, body, contract, e.ReplacerToken);
} else if (expr is ComprehensionExpr) {
var e = (ComprehensionExpr)expr;
|