Index: runtime/bin/directory_patch.dart |
diff --git a/runtime/bin/directory_patch.dart b/runtime/bin/directory_patch.dart |
index cb844f7de325806b6d5121b46c98ea80227b3297..4b6ce1ff395539c25df7dfbf094e7ee37c96124b 100644 |
--- a/runtime/bin/directory_patch.dart |
+++ b/runtime/bin/directory_patch.dart |
@@ -11,7 +11,7 @@ patch class _Directory { |
native "Directory_Delete"; |
/* patch */ static _rename(String path, String newPath) |
native "Directory_Rename"; |
- /* patch */ static List _list(String path, bool recursive) |
+ /* patch */ static List _list(String path, bool recursive, bool followLinks) |
native "Directory_List"; |
/* patch */ static SendPort _newServicePort() |
native "Directory_NewServicePort"; |