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