Index: runtime/bin/file_patch.dart |
diff --git a/runtime/bin/file_patch.dart b/runtime/bin/file_patch.dart |
index 68612a5310940f3172f0b67929bf94d760a5d1dd..4ded71913a1aacb1b26835a59008a024841445ad 100644 |
--- a/runtime/bin/file_patch.dart |
+++ b/runtime/bin/file_patch.dart |
@@ -14,6 +14,7 @@ patch class _File { |
native "File_Rename"; |
/* patch */ static _renameLink(String oldPath, String newPath) |
native "File_RenameLink"; |
+ /* patch */ static _copy(String oldPath, String newPath) native "File_Copy"; |
/* patch */ static _lengthFromPath(String path) native "File_LengthFromPath"; |
/* patch */ static _lastModified(String path) native "File_LastModified"; |
/* patch */ static _open(String path, int mode) native "File_Open"; |