| Index: runtime/lib/convert_patch.dart
|
| diff --git a/runtime/lib/convert_patch.dart b/runtime/lib/convert_patch.dart
|
| index d2ce1a354d2ff96f4c00ac4e6093b14277555500..9606568e0eae0521e4ada5312a94840ed05b7546 100644
|
| --- a/runtime/lib/convert_patch.dart
|
| +++ b/runtime/lib/convert_patch.dart
|
| @@ -6,7 +6,7 @@ import "dart:_internal" show POWERS_OF_TEN;
|
|
|
| // JSON conversion.
|
|
|
| -@patch _parseJson(String json, reviver(var key, var value)) {
|
| +@patch _parseJson(String source, reviver(key, value)) {
|
| _BuildJsonListener listener;
|
| if (reviver == null) {
|
| listener = new _BuildJsonListener();
|
| @@ -14,8 +14,8 @@ import "dart:_internal" show POWERS_OF_TEN;
|
| listener = new _ReviverJsonListener(reviver);
|
| }
|
| var parser = new _JsonStringParser(listener);
|
| - parser.chunk = json;
|
| - parser.chunkEnd = json.length;
|
| + parser.chunk = source;
|
| + parser.chunkEnd = source.length;
|
| parser.parse(0);
|
| parser.close();
|
| return listener.result;
|
|
|