| Index: tools/testing/dart/test_options.dart
|
| diff --git a/tools/testing/dart/test_options.dart b/tools/testing/dart/test_options.dart
|
| index 72c0a1e6256f1d479f44ddfc94a8fec06cb0ffce..f483cf3137691071b29b27588b97189a281f2308 100644
|
| --- a/tools/testing/dart/test_options.dart
|
| +++ b/tools/testing/dart/test_options.dart
|
| @@ -346,7 +346,7 @@ Note: currently only implemented for dart2js.''',
|
| } else if (spec.type == 'int') {
|
| try {
|
| configuration[spec.name] = parseInt(value);
|
| - } catch (var e) {
|
| + } catch (e) {
|
| print('Integer value expected for int option $name');
|
| exit(1);
|
| }
|
|
|