diff options
author | Rustan Leino <unknown> | 2013-07-22 13:51:09 -0700 |
---|---|---|
committer | Rustan Leino <unknown> | 2013-07-22 13:51:09 -0700 |
commit | 137698063f642a711034c338a3a5459e30498e28 (patch) | |
tree | 6fd2000eacea6372264c12cac8877093d76e40e8 /Source/Dafny/cce.cs | |
parent | b334b871622a102b5adbdb1cdee74befb0bdafd3 (diff) |
Fixed build failures from recent Boogie refactoring.
Diffstat (limited to 'Source/Dafny/cce.cs')
-rw-r--r-- | Source/Dafny/cce.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/cce.cs b/Source/Dafny/cce.cs index 2bb64002..e55d675a 100644 --- a/Source/Dafny/cce.cs +++ b/Source/Dafny/cce.cs @@ -24,7 +24,7 @@ public static class cce { }
[Pure]
public static bool NonNullElements(VariableSeq collection) {
- return collection != null && Contract.ForAll(0, collection.Length, i => collection[i] != null);
+ return collection != null && Contract.ForAll(0, collection.Count, i => collection[i] != null);
}
[Pure]
public static bool NonNullElements<T>(Microsoft.Dafny.Graph<T> collection) where T : class {
|