Skip to content

Commit dcb6477

Browse files
committed
Fix a bad merge between #11926 and #11399
1 parent 0681a43 commit dcb6477

File tree

1 file changed

+2
-2
lines changed
  • distribution/lib/Standard/Base/0.0.0-dev/src/System

1 file changed

+2
-2
lines changed

distribution/lib/Standard/Base/0.0.0-dev/src/System/File.enso

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -953,12 +953,12 @@ Data_Link_From_File.from (that : File) = Data_Link_From_File.Value that
953953
private _local_file_copy (source : File) (destination : File) (replace_existing : Boolean) -> Nothing =
954954
File_Error.handle_java_exceptions source <|
955955
copy_options = if replace_existing then [StandardCopyOption.REPLACE_EXISTING.to_text] else []
956-
copy_builtin source destination copy_options
956+
source.move_builtin destination copy_options
957957

958958
private _local_file_move (source : File) (destination : File) (replace_existing : Boolean) -> Nothing =
959959
File_Error.handle_java_exceptions source <|
960960
copy_options = if replace_existing then [StandardCopyOption.REPLACE_EXISTING.to_text] else []
961-
move_builtin source destination copy_options
961+
source.move_builtin destination copy_options
962962

963963
## On some filesystems some paths may be invalid,
964964
we want to catch the Java exception and turn it into an Enso error.

0 commit comments

Comments
 (0)