diff options
| -rw-r--r-- | rts/RtsFlags.c | 1 | ||||
| -rw-r--r-- | rts/RtsFlags.h | 1 |
2 files changed, 1 insertions, 1 deletions
diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index 46d14090f0..3d0d7a45dc 100644 --- a/rts/RtsFlags.c +++ b/rts/RtsFlags.c @@ -112,6 +112,7 @@ static void errorUsage (void) GNU_ATTRIBUTE(__noreturn__); static char * copyArg (char *arg); static char ** copyArgv (int argc, char *argv[]); static void freeArgv (int argc, char *argv[]); +static void setProgName (char *argv[]); static void errorRtsOptsDisabled (const char *s); diff --git a/rts/RtsFlags.h b/rts/RtsFlags.h index 79ebd36a7e..af60bcfd63 100644 --- a/rts/RtsFlags.h +++ b/rts/RtsFlags.h @@ -16,7 +16,6 @@ void initRtsFlagsDefaults (void); void setupRtsFlags (int *argc, char *argv[], RtsConfig rtsConfig); -void setProgName (char *argv[]); void freeRtsArgs (void); extern RtsConfig rtsConfig; |