| Index: sdk/lib/core/date.dart
|
| diff --git a/sdk/lib/core/date.dart b/sdk/lib/core/date.dart
|
| index 3ce0b0786bd5337fb21b24eea7b357038234a894..9f4e9178a565fb30da6c909050b8ef83f366910e 100644
|
| --- a/sdk/lib/core/date.dart
|
| +++ b/sdk/lib/core/date.dart
|
| @@ -257,7 +257,7 @@ class _DateImpl implements Date {
|
| // - "20120227"
|
| // - "2012-02-27T14Z"
|
| // - "-123450101 00:00:00 Z" // In the year -12345.
|
| - final RegExp re = new RegExp(
|
| + final RegExp re = const RegExp(
|
| r'^([+-]?\d?\d\d\d\d)-?(\d\d)-?(\d\d)' // The day part.
|
| r'(?:[ T](\d\d)(?::?(\d\d)(?::?(\d\d)(.\d{1,6})?)?)? ?([zZ])?)?$');
|
| Match match = re.firstMatch(formattedString);
|
|
|