| Index: tools/dom/docs/lib/docs.dart
|
| diff --git a/tools/dom/docs/lib/docs.dart b/tools/dom/docs/lib/docs.dart
|
| index 6c3b75c58cea2b0c909179733aeb22a9734feadf..8856b733c125bb4958fe44896f0f6b7a5eb82bb5 100644
|
| --- a/tools/dom/docs/lib/docs.dart
|
| +++ b/tools/dom/docs/lib/docs.dart
|
| @@ -64,7 +64,7 @@ Future<bool> convert(Path libPath, Path jsonPath) {
|
| }
|
|
|
| Future<bool> _exportJsonToFile(Map convertedJson, Path jsonPath) {
|
| - return new Future.of(() {
|
| + return new Future.sync(() {
|
| final jsonFile = new File.fromPath(jsonPath);
|
| var writeJson = prettySerialize(convertedJson);
|
|
|
|
|