Index: tools/dom/docs/bin/docs.dart |
diff --git a/tools/dom/docs/bin/docs.dart b/tools/dom/docs/bin/docs.dart |
index 7307ab1045a31d8e7fc5979a5adae53745af4bb1..147401f83983336ea19c2222a6b170412d7ea5b5 100644 |
--- a/tools/dom/docs/bin/docs.dart |
+++ b/tools/dom/docs/bin/docs.dart |
@@ -20,9 +20,8 @@ final String lib_uri = Platform.script.resolve('../../../../sdk').toString(); |
main() { |
print('Converting HTML docs from $lib_uri to $json_path.'); |
- convert(lib_uri, json_path) |
- .then((bool anyErrors) { |
- print('Converted HTML docs ${anyErrors ? "with": "without"}' |
+ convert(lib_uri, json_path).then((bool anyErrors) { |
+ print('Converted HTML docs ${anyErrors ? "with": "without"}' |
' errors.'); |
- }); |
+ }); |
} |