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