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'; |