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