diff options
| author |  Ally Donaldson <unknown> | 2013-07-22 15:10:27 +0100 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2013-07-22 15:10:27 +0100 |
| commit | 57fb103b7ae870973544f957ae1c230dbf570cdb (patch) | |
| tree | 6fb2a02844e487dea5708016cbe882fffbdf8e46 /Source/Core/PureCollections.cs | |
| parent | 5664c5e30f16b74eae4cdcb0b9ba65d5b030c815 (diff) | |
Changed Has method of PureSequence to Contains to make refactoring easier.
Diffstat (limited to 'Source/Core/PureCollections.cs')
| -rw-r--r-- | Source/Core/PureCollections.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/PureCollections.cs b/Source/Core/PureCollections.cs index f984ecd4..58b6e9c0 100644 --- a/Source/Core/PureCollections.cs +++ b/Source/Core/PureCollections.cs @@ -794,7 +794,7 @@ namespace PureCollections { //pure---------------------------------------------------------------
[Pure]
- public bool Has(object x) { // WS translate to tailrecursion
+ public bool Contains(object x) { // WS translate to tailrecursion
if (x == null)
throw new MissingCase();
Contract.Assert(this.elems != null);
|