diff options
Diffstat (limited to 'Source/CodeContractsExtender/cce.cs')
| -rw-r--r-- | Source/CodeContractsExtender/cce.cs | 2 |
1 files changed, 1 insertions, 1 deletions
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>
|