| Index: sdk/lib/html/html_common/html_common_dart2js.dart
|
| diff --git a/sdk/lib/html/html_common/html_common_dart2js.dart b/sdk/lib/html/html_common/html_common_dart2js.dart
|
| index 3afd5140047159b6fcf3991b203b02ab5851265a..993d2fff57387bce820c7210653013b5c7e50f92 100644
|
| --- a/sdk/lib/html/html_common/html_common_dart2js.dart
|
| +++ b/sdk/lib/html/html_common/html_common_dart2js.dart
|
| @@ -19,7 +19,3 @@ part 'conversions.dart';
|
| part 'device.dart';
|
| part 'filtered_element_list.dart';
|
| part 'lists.dart';
|
| -
|
| -// For annotating deprecated APIs.
|
| -// TODO: remove once @deprecated is added to dart core.
|
| -const deprecated = 0;
|
|
|