diff options
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);
|