X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FRtsFlags.h;h=a6bfe0a924b6d034592121df4d67f3c3d7488589;hb=94d7c806e2b0f1640372142a89cac2e974f5c26b;hp=3ebfef64477b6e1a64e1937bc668d81740adaf92;hpb=5463b55b7dadc1e9918edb2d8666bf3ed195bc61;p=ghc-hetmet.git

diff --git a/rts/RtsFlags.h b/rts/RtsFlags.h
index 3ebfef6..a6bfe0a 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"