From 12f3c4d7f530265c966bc72764d17e08a47aa4c0 Mon Sep 17 00:00:00 2001
From: Ally Donaldson <unknown>
Date: Mon, 22 Jul 2013 21:17:07 +0100
Subject: Started to remove ...Seq classes

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

(limited to 'Source/CodeContractsExtender/cce.cs')

diff --git a/Source/CodeContractsExtender/cce.cs b/Source/CodeContractsExtender/cce.cs
index 12163c40..02b80458 100644
--- a/Source/CodeContractsExtender/cce.cs
+++ b/Source/CodeContractsExtender/cce.cs
@@ -29,7 +29,7 @@ public static class cce {
     return collection != null && cce.NonNullElements(collection.Values);
   }
   //[Pure]
-  //public static bool NonNullElements(VariableSeq collection) {
+  //public static bool NonNullElements(List<Variable> collection) {
   //  return collection != null && Contract.ForAll(0, collection.Length, i => collection[i] != null);
   //}
   /// <summary>
-- 
cgit v1.2.3