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); |