| Index: pkg/intl/lib/src/date_format_helpers.dart
|
| ===================================================================
|
| --- pkg/intl/lib/src/date_format_helpers.dart (revision 12745)
|
| +++ pkg/intl/lib/src/date_format_helpers.dart (working copy)
|
| @@ -120,7 +120,7 @@
|
| * 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(@'\d+');
|
| + var digitMatcher = const RegExp(r'\d+');
|
| int nextInteger() {
|
| var string = digitMatcher.stringMatch(rest());
|
| if (string == null || string.isEmpty()) return null;
|
|
|