diff --git a/distribution/lib/Standard/Base/0.0.0-dev/src/System/File.enso b/distribution/lib/Standard/Base/0.0.0-dev/src/System/File.enso index 2f998c8bfdd2..f4079c90c08d 100644 --- a/distribution/lib/Standard/Base/0.0.0-dev/src/System/File.enso +++ b/distribution/lib/Standard/Base/0.0.0-dev/src/System/File.enso @@ -953,12 +953,12 @@ Data_Link_From_File.from (that : File) = Data_Link_From_File.Value that private _local_file_copy (source : File) (destination : File) (replace_existing : Boolean) -> Nothing = File_Error.handle_java_exceptions source <| copy_options = if replace_existing then [StandardCopyOption.REPLACE_EXISTING.to_text] else [] - copy_builtin source destination copy_options + source.move_builtin destination copy_options private _local_file_move (source : File) (destination : File) (replace_existing : Boolean) -> Nothing = File_Error.handle_java_exceptions source <| copy_options = if replace_existing then [StandardCopyOption.REPLACE_EXISTING.to_text] else [] - move_builtin source destination copy_options + source.move_builtin destination copy_options ## On some filesystems some paths may be invalid, we want to catch the Java exception and turn it into an Enso error.