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/Core/StandardVisitor.cs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Source/Core/StandardVisitor.cs')

diff --git a/Source/Core/StandardVisitor.cs b/Source/Core/StandardVisitor.cs
index 800a5494..927b73fe 100644
--- a/Source/Core/StandardVisitor.cs
+++ b/Source/Core/StandardVisitor.cs
@@ -194,7 +194,7 @@ namespace Microsoft.Boogie {
     public virtual CtorType VisitCtorType(CtorType node) {
       Contract.Requires(node != null);
       Contract.Ensures(Contract.Result<CtorType>() != null);
-      for (int i = 0; i < node.Arguments.Length; ++i)
+      for (int i = 0; i < node.Arguments.Count; ++i)
         node.Arguments[i] = cce.NonNull((Type/*!*/)this.Visit(node.Arguments[i]));
       return node;
     }
@@ -362,7 +362,7 @@ namespace Microsoft.Boogie {
       //
       // NOTE: when overriding this method, you have to make sure that
       // the bound variables of the map type are updated correctly
-      for (int i = 0; i < node.Arguments.Length; ++i)
+      for (int i = 0; i < node.Arguments.Count; ++i)
         node.Arguments[i] = cce.NonNull((Type/*!*/)this.Visit(node.Arguments[i]));
       node.Result = cce.NonNull((Type/*!*/)this.Visit(node.Result));
       return node;
@@ -512,7 +512,7 @@ namespace Microsoft.Boogie {
       Contract.Requires(node != null);
       Contract.Ensures(Contract.Result<Type>() != null);
       node.ExpandedType = cce.NonNull((Type/*!*/)this.Visit(node.ExpandedType));
-      for (int i = 0; i < node.Arguments.Length; ++i)
+      for (int i = 0; i < node.Arguments.Count; ++i)
         node.Arguments[i] = cce.NonNull((Type/*!*/)this.Visit(node.Arguments[i]));
       return node;
     }
-- 
cgit v1.2.3