| Index: runtime/bin/builtin.dart
|
| diff --git a/runtime/bin/builtin.dart b/runtime/bin/builtin.dart
|
| index 93c7a7bee7404473691ec295827ab977fe5aa3e7..047cd845ba43f7712b6b0f34dc5be3f4221d5fa5 100644
|
| --- a/runtime/bin/builtin.dart
|
| +++ b/runtime/bin/builtin.dart
|
| @@ -313,6 +313,10 @@ String _filePathFromHttpUri(Uri uri) {
|
|
|
|
|
| class _PlatformHook {
|
| + // TODO(whesse): Replace uses of Platform with uses of internal _Platform
|
| + // class, to prepare for removal of (deprecated) Platform class.
|
| + // Also merge _Platform and _PlatformHook class into _Platform class
|
| + // at that time, since _PlatformHook is the only user of _Platform.
|
| int get numberOfProcessors => Platform.numberOfProcessors;
|
| String get pathSeparator => Platform.pathSeparator;
|
| String get operatingSystem => Platform.operatingSystem;
|
|
|