1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/AbsyExpr.cs b/Source/Core/AbsyExpr.cs
index 14534929..24622d8b 100644
--- a/Source/Core/AbsyExpr.cs
+++ b/Source/Core/AbsyExpr.cs
@@ -1817,7 +1817,7 @@ namespace Microsoft.Boogie {
         tpInstantiation = SimpleTypeParamInstantiation.EMPTY;
         return null;
       } else {
-        Contract.Assert(actualResultType.Length == 1);
+        Contract.Assert(actualResultType.Count == 1);
         tpInstantiation =
           SimpleTypeParamInstantiation.From(Func.TypeParameters, resultingTypeArgs);
         return actualResultType[0];