| Index: tools/html_json_doc/lib/html_to_json.dart
|
| diff --git a/tools/html_json_doc/lib/html_to_json.dart b/tools/html_json_doc/lib/html_to_json.dart
|
| index 1a82c9eaf1be14de0d0b4a4b4b62e66cfadc8696..2013640d568801aa05b3ad53693bad1b5417dcf9 100644
|
| --- a/tools/html_json_doc/lib/html_to_json.dart
|
| +++ b/tools/html_json_doc/lib/html_to_json.dart
|
| @@ -26,6 +26,7 @@ library html_to_json;
|
|
|
| import 'dart:json';
|
| import 'dart:io';
|
| +import 'dart:async';
|
|
|
|
|
| /// True if any errors were triggered through the conversion.
|
|
|