diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2016-11-16 16:32:34 +1000 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2016-11-16 16:33:19 +1000 |
commit | 24043cab73ab99b39a1c5ed83a73f54ba41b2324 (patch) | |
tree | 2cb072223e26ebf10889238ce0fc37d222ae58ff /src/library/scala/util | |
parent | 1ae160037b1d2b603a20595caa44ad2ce3b8dcd6 (diff) | |
download | scala-24043cab73ab99b39a1c5ed83a73f54ba41b2324.tar.gz scala-24043cab73ab99b39a1c5ed83a73f54ba41b2324.tar.bz2 scala-24043cab73ab99b39a1c5ed83a73f54ba41b2324.zip |
Revert "SI-9750 isJavaAtLeast(Int)"
This reverts commit 656162bb48fbbd703790a2c94d4563e40ddfdfc2.
Adding new APIs is not possible until a major release.
Diffstat (limited to 'src/library/scala/util')
-rw-r--r-- | src/library/scala/util/Properties.scala | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/library/scala/util/Properties.scala b/src/library/scala/util/Properties.scala index 9d62bfe6ef..7b21351cf6 100644 --- a/src/library/scala/util/Properties.scala +++ b/src/library/scala/util/Properties.scala @@ -217,12 +217,6 @@ private[scala] trait PropertiesTrait { } } - /** Tests whether the major version of the platform specification is at least the given value. - * - * @param version a major version number - */ - def isJavaAtLeast(version: Int): Boolean = isJavaAtLeast(version.toString) - // provide a main method so version info can be obtained by running this def main(args: Array[String]) { val writer = new PrintWriter(Console.err, true) |