diff options
Diffstat (limited to 'otherlibs/win32unix/rename.c')
| -rw-r--r-- | otherlibs/win32unix/rename.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/otherlibs/win32unix/rename.c b/otherlibs/win32unix/rename.c index 3bfdf4770..9ab43fca8 100644 --- a/otherlibs/win32unix/rename.c +++ b/otherlibs/win32unix/rename.c @@ -31,13 +31,13 @@ CAMLprim value unix_rename(value path1, value path2) } if (supports_MoveFileEx > 0) ok = MoveFileEx(String_val(path1), String_val(path2), - MOVEFILE_REPLACE_EXISTING | MOVEFILE_WRITE_THROUGH | - MOVEFILE_COPY_ALLOWED); + MOVEFILE_REPLACE_EXISTING | MOVEFILE_WRITE_THROUGH | + MOVEFILE_COPY_ALLOWED); else ok = MoveFile(String_val(path1), String_val(path2)); if (! ok) { win32_maperr(GetLastError()); uerror("rename", path1); - } + } return Val_unit; } |