diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-02-10 14:44:16 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-02-10 14:44:16 +0100 |
| commit | 0fd1ced53a0c450134b064ee9de4cfeaa288833f (patch) | |
| tree | b57c8487a3c9d4b48e5dce3db3bf657e00fc387b /src/dotty/tools/dotc/util/Util.scala | |
| parent | b6efacf0d9e56b0efc480c79f3ecfe52340970fa (diff) | |
| download | dotty-0fd1ced53a0c450134b064ee9de4cfeaa288833f.tar.gz dotty-0fd1ced53a0c450134b064ee9de4cfeaa288833f.tar.bz2 dotty-0fd1ced53a0c450134b064ee9de4cfeaa288833f.zip | |
Fixed doc comment.
Diffstat (limited to 'src/dotty/tools/dotc/util/Util.scala')
| -rw-r--r-- | src/dotty/tools/dotc/util/Util.scala | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/util/Util.scala b/src/dotty/tools/dotc/util/Util.scala index e323d47db..ed9a54e38 100644 --- a/src/dotty/tools/dotc/util/Util.scala +++ b/src/dotty/tools/dotc/util/Util.scala @@ -10,7 +10,6 @@ object Util { * as the first search point, otherwise use * `candidates.length/2`. * @pre candidates is sorted - * @pre candidates(0) <= x */ def bestFit(candidates: Array[Int], x: Int, hint: Int = -1): Int = { def recur(lo: Int, hi: Int, mid: Int): Int = |