diff options
Diffstat (limited to 'rts/RtsStartup.c')
| -rw-r--r-- | rts/RtsStartup.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/rts/RtsStartup.c b/rts/RtsStartup.c index 236d07a9e0..952e806345 100644 --- a/rts/RtsStartup.c +++ b/rts/RtsStartup.c @@ -297,9 +297,6 @@ hs_exit_(rtsBool wait_foreign) checkFPUStack(); #endif - // Free the full argv storage - freeFullProgArgv(); - #if defined(THREADED_RTS) ioManagerDie(); #endif @@ -402,6 +399,8 @@ hs_exit_(rtsBool wait_foreign) // heap memory (e.g. by being passed a ByteArray#). freeStorage(wait_foreign); + // Free the various argvs + freeRtsArgs(); } // The real hs_exit(): |