1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/StandardVisitor.cs b/Source/Core/StandardVisitor.cs
index 77d49f3e..8a38d67a 100644
--- a/Source/Core/StandardVisitor.cs
+++ b/Source/Core/StandardVisitor.cs
@@ -549,7 +549,7 @@ namespace Microsoft.Boogie {
     public virtual VariableSeq VisitVariableSeq(VariableSeq variableSeq) {
       Contract.Requires(variableSeq != null);
       Contract.Ensures(Contract.Result<VariableSeq>() != null);
-      for (int i = 0, n = variableSeq.Length; i < n; i++)
+      for (int i = 0, n = variableSeq.Count; i < n; i++)
         variableSeq[i] = this.VisitVariable(cce.NonNull(variableSeq[i]));
       return variableSeq;
     }