From eea0a9e74d6782d08f8dd01c0e1dbec15f1a02cb Mon Sep 17 00:00:00 2001
From: Ally Donaldson <unknown>
Date: Mon, 22 Jul 2013 19:12:40 +0100
Subject: More refactoring

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

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

diff --git a/Source/VCExpr/VCExprAST.cs b/Source/VCExpr/VCExprAST.cs
index 90dcb2de..3961f096 100644
--- a/Source/VCExpr/VCExprAST.cs
+++ b/Source/VCExpr/VCExprAST.cs
@@ -1785,7 +1785,7 @@ namespace Microsoft.Boogie.VCExprAST {
 
     public override int Arity {
       get {
-        return Func.InParams.Length;
+        return Func.InParams.Count;
       }
     }
     public override int TypeParamArity {
-- 
cgit v1.2.3