From afaeb081ffcc1c258db6eb7c34ba0b04c493919a Mon Sep 17 00:00:00 2001
From: Ally Donaldson <unknown>
Date: Mon, 22 Jul 2013 18:05:27 +0100
Subject: More refactoring towards replacing PureCollections.Sequence with List

---
 Source/VCExpr/Boogie2VCExpr.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/Source/VCExpr/Boogie2VCExpr.cs b/Source/VCExpr/Boogie2VCExpr.cs
index 6273f056..a110c817 100644
--- a/Source/VCExpr/Boogie2VCExpr.cs
+++ b/Source/VCExpr/Boogie2VCExpr.cs
@@ -377,7 +377,7 @@ namespace Microsoft.Boogie.VCExprAST {
     private VCExpr TranslateNAryExpr(NAryExpr node) {
       Contract.Requires(node != null);
       Contract.Ensures(Contract.Result<VCExpr>() != null);
-      int n = node.Args.Length;
+      int n = node.Args.Count;
       List<VCExpr/*!*/>/*!*/ vcs = new List<VCExpr/*!*/>(n);
       for (int i = 0; i < n; i++) {
         vcs.Add(Translate(cce.NonNull(node.Args)[i]));
-- 
cgit v1.2.3