Index: tools/coverage.dart |
diff --git a/tools/coverage.dart b/tools/coverage.dart |
index 3f51f0007cd228e9dd6a6a6d0677402d7da69cea..20811d1e8120497191bb1b126b4d6829f013665f 100644 |
--- a/tools/coverage.dart |
+++ b/tools/coverage.dart |
@@ -104,7 +104,7 @@ class Source { |
} |
}); |
- String srcPath = new Path(Uri.parse(url).path).toNativePath(); |
+ String srcPath = Uri.parse(url).toFilePath(); |
List lines = new File(srcPath).readAsLinesSync(); |
for (int line = 1; line <= lines.length; line++) { |
String prefix = " "; |