| Index: sdk/lib/html/html_common/html_common.dart
|
| diff --git a/sdk/lib/html/html_common/html_common.dart b/sdk/lib/html/html_common/html_common.dart
|
| index 72d5dab736fe4bd2b3c839452755dfa5f0d4e140..c504a37b77b81b2886cf7e0fb8b3acdebefc529e 100644
|
| --- a/sdk/lib/html/html_common/html_common.dart
|
| +++ b/sdk/lib/html/html_common/html_common.dart
|
| @@ -14,7 +14,3 @@ part 'css_class_set.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;
|
|
|