Index: utils/dartdoc/dartdoc.dart |
diff --git a/utils/dartdoc/dartdoc.dart b/utils/dartdoc/dartdoc.dart |
index d9c8b9d09c1318e42d1229c22100af94d7a8f43d..7910b2eb365b018ba3c05b68b3050e4360043c93 100644 |
--- a/utils/dartdoc/dartdoc.dart |
+++ b/utils/dartdoc/dartdoc.dart |
@@ -186,6 +186,7 @@ class Dartdoc { |
world.getOrAddLibrary('dart:core'); |
world.getOrAddLibrary('dart:coreimpl'); |
world.getOrAddLibrary('dart:json'); |
+ world.getOrAddLibrary('dart:isolate'); |
world.process(); |
break; |
@@ -194,6 +195,7 @@ class Dartdoc { |
world.getOrAddLibrary('dart:coreimpl'); |
world.getOrAddLibrary('dart:json'); |
world.getOrAddLibrary('dart:dom'); |
+ world.getOrAddLibrary('dart:isolate'); |
world.process(); |
break; |
@@ -203,6 +205,7 @@ class Dartdoc { |
world.getOrAddLibrary('dart:json'); |
world.getOrAddLibrary('dart:dom'); |
world.getOrAddLibrary('dart:html'); |
+ world.getOrAddLibrary('dart:isolate'); |
world.process(); |
break; |