X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=includes%2Frts%2FFlags.h;h=42ca671768004540d269784a1fb5ce91a52b5048;hb=73f987d87baecc251dc4a5eef75dc488bb63eca0;hp=95ccfc02813cd933c6282f51b67307bd0fb1e630;hpb=0b22a78248bd06da23c220c842d2a850475d39de;p=ghc-hetmet.git

diff --git a/includes/rts/Flags.h b/includes/rts/Flags.h
index 95ccfc0..42ca671 100644
--- a/includes/rts/Flags.h
+++ b/includes/rts/Flags.h
@@ -219,13 +219,6 @@ extern RTS_FLAGS RtsFlags[];
 extern RTS_FLAGS RtsFlags;
 #endif
 
-/* Routines that operate-on/to-do-with RTS flags: */
-
-void initRtsFlagsDefaults(void);
-void setupRtsFlags(int *argc, char *argv[], int *rts_argc, char *rts_argv[]);
-void setProgName(char *argv[]);
-
-
 /*
  * The printf formats are here, so we are less likely to make
  * overly-long filenames (with disastrous results).  No more than 128
@@ -251,7 +244,7 @@ void setProgName(char *argv[]);
 extern int     prog_argc;
 extern char  **prog_argv;
 */
-extern int     rts_argc;  /* ditto */
-extern char   *rts_argv[];
+extern int      rts_argc;  /* ditto */
+extern char   **rts_argv;
 
 #endif	/* RTS_FLAGS_H */