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 e47c2cb7bda7ef31ce9c52ea330d5b7ba5facf33..7def10b5984ab7fe8d4d3da6dd0b149cc5289e05 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 = new RegExp(r'\d+'); |
+ var digitMatcher = const RegExp(r'\d+'); |
int nextInteger() { |
var string = digitMatcher.stringMatch(rest()); |
if (string == null || string.isEmpty) return null; |