From a6dc10b9052a3953e6ceb4507ac287d1c55656cc Mon Sep 17 00:00:00 2001
From: Rustan Leino <leino@microsoft.com>
Date: Mon, 9 Jul 2012 22:36:45 -0700
Subject: Dafny: fixed bad merge

---
 Source/Dafny/Translator.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source/Dafny/Translator.cs')

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;
-- 
cgit v1.2.3