| 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 = " ";
|
|
|