diff options
| -rw-r--r-- | rts/RtsStartup.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/RtsStartup.c b/rts/RtsStartup.c index c63f85ee82..4b9f6ba115 100644 --- a/rts/RtsStartup.c +++ b/rts/RtsStartup.c @@ -142,7 +142,7 @@ hs_init_ghc(int *argc, char **argv[], RtsConfig rts_config) /* Parse the flags, separating the RTS flags from the programs args */ if (argc != NULL && argv != NULL) { - setFullProgArgv(*argc,*argv); + setFullProgArgv(*argc,*argv); setupRtsFlags(argc, *argv, rts_config.rts_opts_enabled, rts_config.rts_opts); } |