| Index: dart/lib/compiler/implementation/scanner/listener.dart
|
| diff --git a/dart/lib/compiler/implementation/scanner/listener.dart b/dart/lib/compiler/implementation/scanner/listener.dart
|
| index cbbc89c441f1ae61c0229a1235f7846f1cdeb278..18c0442b725a8e2b19a8a0e57c37a21da12a0242 100644
|
| --- a/dart/lib/compiler/implementation/scanner/listener.dart
|
| +++ b/dart/lib/compiler/implementation/scanner/listener.dart
|
| @@ -1365,7 +1365,7 @@ class NodeListener extends ElementListener {
|
| Block block = popNode();
|
| NodeList formals = popNode();
|
| TypeAnnotation type = onKeyword != null ? popNode() : null;
|
| - pushNode(new CatchBlock(type, formals, block, type, catchKeyword));
|
| + pushNode(new CatchBlock(type, formals, block, onKeyword, catchKeyword));
|
| }
|
|
|
| void endSwitchStatement(Token switchKeyword, Token endToken) {
|
|
|