Index: sdk/lib/io/http_date.dart |
diff --git a/sdk/lib/io/http_date.dart b/sdk/lib/io/http_date.dart |
index 9720426d3cd268930d79a3d04ed5dbb955ec71b8..dc3193c4cabb4ccc62ebeb880f962081fffddc1e 100644 |
--- a/sdk/lib/io/http_date.dart |
+++ b/sdk/lib/io/http_date.dart |
@@ -261,7 +261,7 @@ class HttpDate { |
while (!isEnd() && isDelimiter(date[position])) position++; |
int start = position; |
while (!isEnd() && isNonDelimiter(date[position])) position++; |
- tokens.add(date.substring(start, position).toLowerCase()); |
+ tokens.add(_ASCII.toLowerCase(date.substring(start, position))); |
while (!isEnd() && isDelimiter(date[position])) position++; |
} |