diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-03-03 17:40:13 +0100 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-03-03 17:40:13 +0100 |
commit | 2b4e7659237fe0e6eb5425ebe50ceab79af49816 (patch) | |
tree | 131f10e44f0904988ded6c1cb894246a31ed37df /src/dotty/tools/dotc/util/Positions.scala | |
parent | 18cf5d280e3f63213fd6bddbe8e1ed5b5d40b595 (diff) | |
download | dotty-2b4e7659237fe0e6eb5425ebe50ceab79af49816.tar.gz dotty-2b4e7659237fe0e6eb5425ebe50ceab79af49816.tar.bz2 dotty-2b4e7659237fe0e6eb5425ebe50ceab79af49816.zip |
Typos corrected.
More verbose assertions.
Unnecessary semicolons removed.
Diffstat (limited to 'src/dotty/tools/dotc/util/Positions.scala')
-rw-r--r-- | src/dotty/tools/dotc/util/Positions.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/util/Positions.scala b/src/dotty/tools/dotc/util/Positions.scala index 293bb4a4c..46e4f4ee7 100644 --- a/src/dotty/tools/dotc/util/Positions.scala +++ b/src/dotty/tools/dotc/util/Positions.scala @@ -17,7 +17,7 @@ object Positions { /** A position indicates a range between a start offset and an end offset. * Positions can be synthetic or source-derived. A source-derived position - * has in addition a pointlies somewhere between start and end. The point + * has in addition a point lies somewhere between start and end. The point * is roughly where the ^ would go if an error was diagnosed at that position. * All quantities are encoded opaquely in a Long. */ |