Dafny: fixed bad merge

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;