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/Parser.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/Source/Core/Parser.cs b/Source/Core/Parser.cs
index 32e439f0..7bd21d02 100644
--- a/Source/Core/Parser.cs
+++ b/Source/Core/Parser.cs
@@ -403,7 +403,7 @@ private class BvBounds : Expr {
 		     }
 		     Bpl.Type ty = curr.Type;
 		     var uti = ty as UnresolvedTypeIdentifier;
-		     if (uti != null && uti.Arguments.Length == 0) {
+		     if (uti != null && uti.Arguments.Count == 0) {
 		       // the given "thing" was just an identifier, so let's use it as the name of the parameter
 		       curr.Name = uti.Name;
 		       curr.Type = prevType;
@@ -798,7 +798,7 @@ private class BvBounds : Expr {
 		if (la.kind == 11) {
 			Get();
 			var uti = ty as UnresolvedTypeIdentifier;
-			if (uti != null && uti.Arguments.Length == 0) {
+			if (uti != null && uti.Arguments.Count == 0) {
 			 varName = uti.Name;
 			} else {
 			 this.SemErr("expected identifier before ':'");
-- 
cgit v1.2.3