| Index: tool/input_sdk/patch/convert_patch.dart
|
| diff --git a/tool/input_sdk/patch/convert_patch.dart b/tool/input_sdk/patch/convert_patch.dart
|
| index f851bce06730c15892c8693c1332b6727b80f2f8..1aad95dbc1b1343b1cafc07082ccceacea07a904 100644
|
| --- a/tool/input_sdk/patch/convert_patch.dart
|
| +++ b/tool/input_sdk/patch/convert_patch.dart
|
| @@ -33,7 +33,7 @@ _parseJson(String source, reviver(key, value)) {
|
| var parsed;
|
| try {
|
| parsed = JS('=Object|JSExtendableArray|Null|bool|num|String',
|
| - 'JSON.parse(#)',
|
| + 'dart.global.JSON.parse(#)',
|
| source);
|
| } catch (e) {
|
| throw new FormatException(JS('String', 'String(#)', e));
|
|
|