| Index: sdk/lib/async/schedule_microtask.dart
|
| diff --git a/sdk/lib/async/schedule_microtask.dart b/sdk/lib/async/schedule_microtask.dart
|
| index 11eb77818906330387aaca49173abc0261bb4d08..94a68c5e772081edff84d9171a542114a4d3507b 100644
|
| --- a/sdk/lib/async/schedule_microtask.dart
|
| +++ b/sdk/lib/async/schedule_microtask.dart
|
| @@ -71,14 +71,6 @@ void scheduleMicrotask(void callback()) {
|
| Zone.current.bindCallback(callback, runGuarded: true));
|
| }
|
|
|
| -/**
|
| - * *DEPRECATED*. Use [scheduleMicrotask] instead.
|
| - */
|
| -@deprecated
|
| -void runAsync(void callback()) {
|
| - scheduleMicrotask(callback);
|
| -}
|
| -
|
| class _AsyncRun {
|
| /** Schedule the given callback before any other event in the event-loop. */
|
| external static void _scheduleImmediate(void callback());
|
|
|