diff options
-rw-r--r-- | src/compiler/scala/tools/nsc/util/Position.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler/scala/tools/nsc/util/Position.scala b/src/compiler/scala/tools/nsc/util/Position.scala index c97dc930ab..d296f45aed 100644 --- a/src/compiler/scala/tools/nsc/util/Position.scala +++ b/src/compiler/scala/tools/nsc/util/Position.scala @@ -132,8 +132,8 @@ trait Position { def focusEnd = this /** Does this position include the given position `pos`. - * This holds if this is a range position and its range [start..end] - * is the same or covers the range of the given position. + * This holds if `this` is a range position and its range [start..end] + * is the same or covers the range of the given position, which may or may not be a range position. */ def includes(pos: Position) = false |