| Index: tools/html_json_doc/lib/json_to_html.dart
|
| diff --git a/tools/html_json_doc/lib/json_to_html.dart b/tools/html_json_doc/lib/json_to_html.dart
|
| index aae2b682d849d53d0f8b718db7121c2c46df9e97..1b561117ae12ce4266cdceb56fa8a2245fa04036 100644
|
| --- a/tools/html_json_doc/lib/json_to_html.dart
|
| +++ b/tools/html_json_doc/lib/json_to_html.dart
|
| @@ -67,7 +67,7 @@ Future<bool> convert(Path htmlPath, Path jsonPath) {
|
| final lister = htmlDir.list(recursive: false);
|
|
|
| lister.onFile = (String path) {
|
| - final name = new Path.fromNative(path).filename;
|
| + final name = new Path(path).filename;
|
|
|
| // Ignore private classes.
|
| if (name.startsWith('_')) return;
|
|
|