diff options
| author |  wuestholz <unknown> | 2013-07-22 18:41:57 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-07-22 18:41:57 -0700 |
| commit | d8a65c401b520f7a96a186491d33e00fc16c4f1c (patch) | |
| tree | fcd3dea44d22db5e89a60196f6d75dee83bfa436 /Source/Dafny/cce.cs | |
| parent | 1e7d9ef8cc8d5c5250ede1fc425c830831cc1044 (diff) | |
Fixed build failures due to changes in Boogie.
Diffstat (limited to 'Source/Dafny/cce.cs')
| -rw-r--r-- | Source/Dafny/cce.cs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Source/Dafny/cce.cs b/Source/Dafny/cce.cs index e55d675a..02b77c82 100644 --- a/Source/Dafny/cce.cs +++ b/Source/Dafny/cce.cs @@ -23,10 +23,6 @@ public static class cce { return collection != null && NonNullElements(collection.Values);
}
[Pure]
- public static bool NonNullElements(VariableSeq collection) {
- 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 {
return collection != null && cce.NonNullElements(collection.TopologicallySortedComponents());
}
|