merge GHC HEAD

[ghc-hetmet.git] / rts / RtsFlags.h

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