| Index: sdk/lib/developer/developer.dart
|
| diff --git a/sdk/lib/developer/developer.dart b/sdk/lib/developer/developer.dart
|
| index 07c0562e4bae7a23728d4abbf1770225160d8ee2..47ea5babfcf7bca1b1cc6d03170981abb11f51cd 100644
|
| --- a/sdk/lib/developer/developer.dart
|
| +++ b/sdk/lib/developer/developer.dart
|
| @@ -17,7 +17,7 @@ library dart.developer;
|
|
|
| import 'dart:async';
|
| import 'dart:convert';
|
| -import 'dart:isolate' show SendPort;
|
| +import 'dart:isolate' show RawReceivePort, SendPort;
|
|
|
| part 'extension.dart';
|
| part 'profiler.dart';
|
|
|