src/Pure/PIDE/text.scala
changeset 38578 1ebc6b76e5ff
parent 38577 4e4d3ea3725a
child 38662 4d4553e09337
     1.1 --- a/src/Pure/PIDE/text.scala	Sun Aug 22 18:46:16 2010 +0200
     1.2 +++ b/src/Pure/PIDE/text.scala	Sun Aug 22 19:33:01 2010 +0200
     1.3 @@ -46,7 +46,6 @@
     1.4  
     1.5    case class Info[A](val range: Text.Range, val info: A)
     1.6    {
     1.7 -    def contains[B](that: Info[B]): Boolean = this.range contains that.range
     1.8      def restrict(r: Text.Range): Info[A] = Info(range.restrict(r), info)
     1.9    }
    1.10