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