| Index: sdk/lib/_internal/compiler/implementation/lib/async_patch.dart
|
| diff --git a/sdk/lib/_internal/compiler/implementation/lib/async_patch.dart b/sdk/lib/_internal/compiler/implementation/lib/async_patch.dart
|
| index 6b6c65521bd7a576d074148190b06ca9a73e426a..0fccce2a432b6eb93bf2af79f0d317545e165f69 100644
|
| --- a/sdk/lib/_internal/compiler/implementation/lib/async_patch.dart
|
| +++ b/sdk/lib/_internal/compiler/implementation/lib/async_patch.dart
|
| @@ -4,6 +4,8 @@
|
|
|
| // Patch file for the dart:async library.
|
|
|
| +import 'dart:_isolate_helper' show TimerImpl;
|
| +
|
| patch class Timer {
|
| patch factory Timer(int milliseconds, void callback(Timer timer)) {
|
| return new TimerImpl(milliseconds, callback);
|
|
|