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; |