| Index: sdk/lib/io/platform.dart
|
| diff --git a/sdk/lib/io/platform.dart b/sdk/lib/io/platform.dart
|
| index 11dee794cbd5af3b225617463db80e34049f231c..30a9a9f40bb00463707878476bbf53d374e87c13 100644
|
| --- a/sdk/lib/io/platform.dart
|
| +++ b/sdk/lib/io/platform.dart
|
| @@ -8,7 +8,6 @@ part of dart.io;
|
| * The [Platform] class exposes details of the machine and operating
|
| * system.
|
| */
|
| -@deprecated
|
| class Platform {
|
| static final _numberOfProcessors = _Platform.numberOfProcessors;
|
| static final _pathSeparator = _Platform.pathSeparator;
|
|
|