diff options
Diffstat (limited to 'test')
| -rwxr-xr-x | test/files/pos/orderedpoints.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/pos/orderedpoints.scala b/test/files/pos/orderedpoints.scala index 145b0a8312..466ada1363 100755 --- a/test/files/pos/orderedpoints.scala +++ b/test/files/pos/orderedpoints.scala @@ -7,7 +7,7 @@ class Point1(x: int) extends Object with Ordered[Point1] { } class Point2(x: int, y: int) extends Point1(x) with Ordered[Point2] { val yCoord = y; - def compareTo [b >: Point2 <% Ordered[b]](that: b): int = that match { + override def compareTo [b >: Point2 <% Ordered[b]](that: b): int = that match { case that1: Point2 => val r = super.compareTo(that1); if (r == 0) this.yCoord.compareTo(that1.yCoord) else r |