better dummy value

no need for empty string when it's going to be thrown away..

diff --git a/Utility/Directory.hs b/Utility/Directory.hs
index 8b5b88b7469e942bea4951460e368712329fedbe..51eda7139d73830c47fb72d58b40248ffa016db1 100644 (file)
--- a/Utility/Directory.hs
+++ b/Utility/Directory.hs
@@ -110,16 +110,16 @@ moveFile src dest = tryIO (rename src dest) >>= onrename
        onrename (Left e)
                | isPermissionError e = rethrow
                | isDoesNotExistError e = rethrow
-               | otherwise = viaTmp mv dest ""
+               | otherwise = viaTmp mv dest ()
          where
                rethrow = throwM e
 
-               mv tmp _ = do
-               -- copyFile is likely not as optimised as
-               -- the mv command, so we'll use the command.
-               --
-               -- But, while Windows has a "mv", it does not seem very
-               -- reliable, so use copyFile there.
+               mv tmp () = do
+                       -- copyFile is likely not as optimised as
+                       -- the mv command, so we'll use the command.
+                       --
+                       -- But, while Windows has a "mv", it does not seem very
+                       -- reliable, so use copyFile there.
 #ifndef mingw32_HOST_OS        
                        -- If dest is a directory, mv would move the file
                        -- into it, which is not desired.