| Index: utils/pub/error_group.dart
|
| diff --git a/utils/pub/error_group.dart b/utils/pub/error_group.dart
|
| index 624e51cfd4ca5f56c83a8ab43c13eae2c3d6ed61..694638c24716b935065b71c6fcbbcad3bd8bb9bf 100644
|
| --- a/utils/pub/error_group.dart
|
| +++ b/utils/pub/error_group.dart
|
| @@ -269,7 +269,7 @@ class _ErrorGroupStream extends Stream {
|
| if (_isDone) return;
|
| _subscription.cancel();
|
| // Call these asynchronously to work around issue 7913.
|
| - new Future.immediate(null).then((_) {
|
| + new Future.value().then((_) {
|
| _controller.addError(e);
|
| _controller.close();
|
| });
|
|
|