Fix build break. Part of the change was not checked in last check-in somehow.

1 files 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);

           }

 

         }