From e34a7e4fd70d1aafacb2782cbcc0354f6587d649 Mon Sep 17 00:00:00 2001
From: qunyanm <unknown>
Date: Tue, 19 May 2015 09:03:43 -0700
Subject: Fix build break. Part of the change was not checked in last check-in
 somehow.

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

diff --git a/Source/Dafny/Translator.cs b/Source/Dafny/Translator.cs
index 41076a65..9e08b2ce 100644
--- a/Source/Dafny/Translator.cs
+++ b/Source/Dafny/Translator.cs
@@ -4985,8 +4985,8 @@ namespace Microsoft.Dafny {
                 Contract.Assert(false);  // unexpected CoCallResolution
                 goto case FunctionCallExpr.CoCallResolution.No;  // please the compiler
             }
-            CheckCallTermination(expr.tok, contextDecreases, calleeDecreases, allowance, e.Receiver, substMap, etran, etran, builder,
-              codeContext.InferredDecreases, hint);
+            CheckCallTermination(expr.tok, contextDecreases, calleeDecreases, allowance, e.Receiver, substMap, e.TypeArgumentSubstitutions,
+              etran, etran, builder, codeContext.InferredDecreases, hint);
           }
 
         }
-- 
cgit v1.2.3