| Index: lib/runtime/dart/convert.js
|
| diff --git a/lib/runtime/dart/convert.js b/lib/runtime/dart/convert.js
|
| index 5f9dc9e2af01b25bd848a28c3c6eba1b85f57548..03a825aa066c17bac790629851fe03d5f8eafa6c 100644
|
| --- a/lib/runtime/dart/convert.js
|
| +++ b/lib/runtime/dart/convert.js
|
| @@ -1206,7 +1206,7 @@ dart_library.library('dart/convert', null, /* Imports */[
|
|
|
| }
|
| writeJsonValue(object) {
|
| - if (dart.is(object, core.num)) {
|
| + if (typeof object == 'number') {
|
| if (!dart.notNull(dart.as(dart.dload(object, 'isFinite'), core.bool)))
|
| return false;
|
| this.writeNumber(dart.as(object, core.num));
|
|
|