diff options
| author |  Ally Donaldson <unknown> | 2013-07-22 19:12:40 +0100 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2013-07-22 19:12:40 +0100 |
| commit | eea0a9e74d6782d08f8dd01c0e1dbec15f1a02cb (patch) | |
| tree | 26b5693006a283d80fb47507263e404c282ae2ef /Source/Core/StandardVisitor.cs | |
| parent | 62d2fa72d5e1816d6cb1239063302808424c6d13 (diff) | |
More refactoring
Diffstat (limited to 'Source/Core/StandardVisitor.cs')
| -rw-r--r-- | Source/Core/StandardVisitor.cs | 2 |
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;
}
|