1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Core/BitvectorAnalysis.cs b/Source/Core/BitvectorAnalysis.cs
index 30ca85ba..cac5068a 100644
--- a/Source/Core/BitvectorAnalysis.cs
+++ b/Source/Core/BitvectorAnalysis.cs
@@ -128,7 +128,7 @@ namespace Microsoft.Boogie {
         TypeSeq newArguments = new TypeSeq();
         Type result = NewType(mapType.Result, mapDisjointSet.Result);
         bool newTypeNeeded = (result != mapType.Result);
-        for (int i = 0; i < mapType.Arguments.Length; i++) {
+        for (int i = 0; i < mapType.Arguments.Count; i++) {
           if (mapDisjointSet.Args(i).Find() == uniqueBv32Set.Find()) {
             newArguments.Add(new BvType(32));
             newTypeNeeded = true;
@@ -151,7 +151,7 @@ namespace Microsoft.Boogie {
       if (mapType == null) {
         return new DisjointSet();
       }
-      DisjointSet[] args = new DisjointSet[mapType.Arguments.Length];
+      DisjointSet[] args = new DisjointSet[mapType.Arguments.Count];
       for (int i = 0; i < args.Length; i++) {
         args[i] = MakeDisjointSet(mapType.Arguments[i]);
       }