| Index: pkg/intl/lib/src/date_format_helpers.dart
|
| diff --git a/pkg/intl/lib/src/date_format_helpers.dart b/pkg/intl/lib/src/date_format_helpers.dart
|
| index 7def10b5984ab7fe8d4d3da6dd0b149cc5289e05..e47c2cb7bda7ef31ce9c52ea330d5b7ba5facf33 100644
|
| --- a/pkg/intl/lib/src/date_format_helpers.dart
|
| +++ b/pkg/intl/lib/src/date_format_helpers.dart
|
| @@ -133,7 +133,7 @@ class _Stream {
|
| * Assuming that the contents are characters, read as many digits as we
|
| * can see and then return the corresponding integer. Advance the stream.
|
| */
|
| - var digitMatcher = const RegExp(r'\d+');
|
| + var digitMatcher = new RegExp(r'\d+');
|
| int nextInteger() {
|
| var string = digitMatcher.stringMatch(rest());
|
| if (string == null || string.isEmpty) return null;
|
|
|