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. |