diff options
Diffstat (limited to 'rts/RtsFlags.h')
| -rw-r--r-- | rts/RtsFlags.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rts/RtsFlags.h b/rts/RtsFlags.h index 3ebfef6447..a6bfe0a924 100644 --- a/rts/RtsFlags.h +++ b/rts/RtsFlags.h @@ -17,6 +17,7 @@ void initRtsFlagsDefaults (void); void setupRtsFlags (int *argc, char *argv[]); void setProgName (char *argv[]); +void freeRtsArgs (void); #include "EndPrivate.h" |