src/Pure/PIDE/text.scala
changeset 38562 3de5f0424caa
parent 38485 c5eae9fc1fa4
child 38563 f6c9a4f9f66f
     1.1 --- a/src/Pure/PIDE/text.scala	Thu Aug 19 18:44:26 2010 +0200
     1.2 +++ b/src/Pure/PIDE/text.scala	Thu Aug 19 22:04:20 2010 +0200
     1.3 @@ -17,14 +17,6 @@
     1.4  
     1.5    /* range: interval with total quasi-ordering */
     1.6  
     1.7 -  object Range
     1.8 -  {
     1.9 -    object Ordering extends scala.math.Ordering[Range]
    1.10 -    {
    1.11 -      override def compare(r1: Range, r2: Range): Int = r1 compare r2
    1.12 -    }
    1.13 -  }
    1.14 -
    1.15    sealed case class Range(val start: Offset, val stop: Offset)
    1.16    {
    1.17      require(start <= stop)