diff options
| author | michelou <michelou@epfl.ch> | 2007-09-04 12:13:47 +0000 |
|---|---|---|
| committer | michelou <michelou@epfl.ch> | 2007-09-04 12:13:47 +0000 |
| commit | 8ab3c6b56d38b698a140db5a8270be51cdf74057 (patch) | |
| tree | e7849f8c9483da7c407ff3e672bf2ff893f8b08a /src/library/scala/collection/Set.scala | |
| parent | 7bb91bbfbd597e479d3fe8b5402032f47d2ea6fc (diff) | |
| download | scala-8ab3c6b56d38b698a140db5a8270be51cdf74057.tar.gz scala-8ab3c6b56d38b698a140db5a8270be51cdf74057.tar.bz2 scala-8ab3c6b56d38b698a140db5a8270be51cdf74057.zip | |
corrected typo in type argument (collection.Set)
Diffstat (limited to 'src/library/scala/collection/Set.scala')
| -rw-r--r-- | src/library/scala/collection/Set.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/library/scala/collection/Set.scala b/src/library/scala/collection/Set.scala index 6cc99a0509..44dd8d3b3a 100644 --- a/src/library/scala/collection/Set.scala +++ b/src/library/scala/collection/Set.scala @@ -1,7 +1,7 @@ /* __ *\ ** ________ ___ / / ___ Scala API ** ** / __/ __// _ | / / / _ | (c) 2003-2007, LAMP/EPFL ** -** __\ \/ /__/ __ |/ /__/ __ | ** +** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ ** ** /____/\___/_/ |_/____/_/ | | ** ** |/ ** \* */ @@ -104,7 +104,7 @@ trait Set[A] extends (A => Boolean) with Collection[A] { * contain the same elements. */ override def equals(that: Any): Boolean = that match { - case other: Set[a] => + case other: Set[A] => this.size == other.size && subsetOf(other.asInstanceOf[Set[A]]) case _ => false |