diff options
Diffstat (limited to 'rts/RtsFlags.c')
| -rw-r--r-- | rts/RtsFlags.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index c994a0ce88..4bd544ee29 100644 --- a/rts/RtsFlags.c +++ b/rts/RtsFlags.c @@ -1943,6 +1943,7 @@ getProgArgv(int *argc, char **argv[]) void setProgArgv(int argc, char *argv[]) { + freeArgv(prog_argc,prog_argv); prog_argc = argc; prog_argv = copyArgv(argc,argv); setProgName(prog_argv); |