Index: utils/pub/hosted_source.dart |
diff --git a/utils/pub/hosted_source.dart b/utils/pub/hosted_source.dart |
index fbc9248586178b3129ac45cc0a4311c4d69d4748..2d5c1f5900752fb5eb7b6354223c7e236d5b46d0 100644 |
--- a/utils/pub/hosted_source.dart |
+++ b/utils/pub/hosted_source.dart |
@@ -91,7 +91,7 @@ class HostedSource extends Source { |
// has not finished by the time we get here, so the rename fails with a |
// "directory in use" error. So, we will just wait a couple of seconds |
// before we start. |
- if (Platform.operatingSystem == "windows") { |
+ if (io.Platform.operatingSystem == "windows") { |
rename = sleep(2000).chain((_) => rename); |
} |