| Index: runtime/bin/input_stream.dart
|
| diff --git a/runtime/bin/input_stream.dart b/runtime/bin/input_stream.dart
|
| index 31eb51ab6f7ab6a2628052d07a5d7068bf256520..a7d342a6295c0546a4ccf0fd22a17dcd5f157c37 100644
|
| --- a/runtime/bin/input_stream.dart
|
| +++ b/runtime/bin/input_stream.dart
|
| @@ -95,7 +95,7 @@ interface InputStream {
|
| * Sets the handler that gets called when the underlying
|
| * communication channel gets into some kind of error situation.
|
| */
|
| - void set onError(void callback(Exception e));
|
| + void set onError(void callback(e));
|
| }
|
|
|
|
|
| @@ -182,7 +182,7 @@ interface StringInputStream default _StringInputStream {
|
| * Sets the handler that gets called when the underlying
|
| * communication channel gets into some kind of error situation.
|
| */
|
| - void set onError(void callback(Exception e));
|
| + void set onError(void callback(e));
|
| }
|
|
|
|
|
| @@ -237,7 +237,7 @@ interface ChunkedInputStream default _ChunkedInputStream {
|
| * Sets the handler that gets called when the underlying
|
| * communication channel gets into some kind of error situation.
|
| */
|
| - void set onError(void callback(Exception e));
|
| + void set onError(void callback(e));
|
| }
|
|
|
|
|
|
|