Index: utils/dartdoc/dartdoc.dart |
diff --git a/utils/dartdoc/dartdoc.dart b/utils/dartdoc/dartdoc.dart |
index 47a19b2799b02a1e743994787e89cab4fb29fa78..417234949756f9bc645b8045a65965ef773379be 100644 |
--- a/utils/dartdoc/dartdoc.dart |
+++ b/utils/dartdoc/dartdoc.dart |
@@ -188,6 +188,7 @@ class Dartdoc { |
world.getOrAddLibrary('dart:core'); |
world.getOrAddLibrary('dart:coreimpl'); |
world.getOrAddLibrary('dart:json'); |
+ world.getOrAddLibrary('dart:isolate'); |
world.process(); |
break; |
@@ -196,6 +197,7 @@ class Dartdoc { |
world.getOrAddLibrary('dart:coreimpl'); |
world.getOrAddLibrary('dart:json'); |
world.getOrAddLibrary('dart:dom'); |
+ world.getOrAddLibrary('dart:isolate'); |
world.process(); |
break; |
@@ -205,6 +207,7 @@ class Dartdoc { |
world.getOrAddLibrary('dart:json'); |
world.getOrAddLibrary('dart:dom'); |
world.getOrAddLibrary('dart:html'); |
+ world.getOrAddLibrary('dart:isolate'); |
world.process(); |
break; |