From 5664c5e30f16b74eae4cdcb0b9ba65d5b030c815 Mon Sep 17 00:00:00 2001
From: Ally Donaldson <unknown>
Date: Mon, 22 Jul 2013 10:54:53 +0100
Subject: Refactoring of VariableSeq and TypeSeq

---
 Source/VCExpr/TypeErasure.cs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Source/VCExpr/TypeErasure.cs')

diff --git a/Source/VCExpr/TypeErasure.cs b/Source/VCExpr/TypeErasure.cs
index 9d366c9f..c4a54300 100644
--- a/Source/VCExpr/TypeErasure.cs
+++ b/Source/VCExpr/TypeErasure.cs
@@ -469,7 +469,7 @@ namespace Microsoft.Boogie.TypeErasure {
         //
         CtorType ctype = type.AsCtor;
         Function/*!*/ repr = GetTypeCtorRepr(ctype.Decl);
-        List<VCExpr/*!*/>/*!*/ args = new List<VCExpr/*!*/>(ctype.Arguments.Length);
+        List<VCExpr/*!*/>/*!*/ args = new List<VCExpr/*!*/>(ctype.Arguments.Count);
         foreach (Type/*!*/ t in ctype.Arguments) {
           Contract.Assert(t != null);
           args.Add(Type2Term(t, varMapping));
@@ -970,7 +970,7 @@ namespace Microsoft.Boogie.TypeErasure {
       MapType/*!*/ abstraction = ThinOutMapType(rawType, instantiations);
 
       MapTypeClassRepresentation repr = GetClassRepresentation(abstraction);
-      Contract.Assume(repr.RepresentingType.Arity == instantiations.Length);
+      Contract.Assume(repr.RepresentingType.Arity == instantiations.Count);
       return new CtorType(Token.NoToken, repr.RepresentingType, instantiations);
     }
 
@@ -1004,7 +1004,7 @@ namespace Microsoft.Boogie.TypeErasure {
         // Bingo!
         // if the type does not contain any bound variables, we can simply
         // replace it with a type variable
-        TypeVariable/*!*/ abstractionVar = AbstractionVariable(instantiations.Length);
+        TypeVariable/*!*/ abstractionVar = AbstractionVariable(instantiations.Count);
         Contract.Assume(!boundTypeParams.Has(abstractionVar));
         instantiations.Add(rawType);
         return abstractionVar;
-- 
cgit v1.2.3