Fix Windows build failure

We were calling freeArgv with arguments of the wrong type.
But actually, we had our own copy of its loop anyway, so
now we just use that instead.

diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c
index 9c0ec9e..24181d3 100644 (file)
--- a/rts/RtsFlags.c
+++ b/rts/RtsFlags.c
@@ -1585,8 +1585,6 @@ void freeWin32ProgArgv (void);
 void
 freeWin32ProgArgv (void)
 {
-    freeArgv(win32_prog_argc, win32_prog_argv);
-
     int i;
 
     if (win32_prog_argv != NULL) {