| Index: sdk/lib/async/schedule_microtask.dart
|
| diff --git a/sdk/lib/async/schedule_microtask.dart b/sdk/lib/async/schedule_microtask.dart
|
| index dca72df9c7291a541ccfbbb1771e9c189e035902..300cb3c6c4c43600e1694e047af92d842853a932 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());
|
|
|