tuned signature;
authorwenzelm
Thu Aug 26 11:29:43 2010 +0200 (2010-08-26 ago)
changeset 387253d9d5ff80f6f
parent 38724 d1feec02cf02
child 38726 6d5f9af42eca
tuned signature;
src/Pure/PIDE/text.scala
     1.1 --- a/src/Pure/PIDE/text.scala	Wed Aug 25 22:57:40 2010 +0200
     1.2 +++ b/src/Pure/PIDE/text.scala	Thu Aug 26 11:29:43 2010 +0200
     1.3 @@ -33,7 +33,7 @@
     1.4      def +(i: Offset): Range = map(_ + i)
     1.5      def -(i: Offset): Range = map(_ - i)
     1.6  
     1.7 -    def is_singleton: Boolean = start == stop
     1.8 +    def is_singularity: Boolean = start == stop
     1.9  
    1.10      def contains(i: Offset): Boolean = start == i || start < i && i < stop
    1.11      def contains(that: Range): Boolean = this.contains(that.start) && that.stop <= this.stop