| 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());
 | 
| 
 |