| Index: sdk/lib/developer/developer.dart
|
| diff --git a/sdk/lib/developer/developer.dart b/sdk/lib/developer/developer.dart
|
| index 47ea5babfcf7bca1b1cc6d03170981abb11f51cd..aab137c3b4985b37eeb3e655deb478f834a45060 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 RawReceivePort, SendPort;
|
| +import 'dart:isolate' show Isolate, RawReceivePort, SendPort;
|
|
|
| part 'extension.dart';
|
| part 'profiler.dart';
|
|
|