From c4fe9641b63ba7e4788a393fac255ed4496280fa Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Thu, 3 Feb 2005 10:59:05 +0000
Subject: [PATCH] [project @ 2005-02-03 10:59:05 by simonmar] add a prototype

---
 ghc/includes/RtsFlags.h |    8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/ghc/includes/RtsFlags.h b/ghc/includes/RtsFlags.h
index a94bf7b..43515e8 100644
--- a/ghc/includes/RtsFlags.h
+++ b/ghc/includes/RtsFlags.h
@@ -1,5 +1,5 @@
 /* -----------------------------------------------------------------------------
- * $Id: RtsFlags.h,v 1.47 2004/11/18 09:56:20 tharris Exp $
+ * $Id: RtsFlags.h,v 1.48 2005/02/03 10:59:05 simonmar Exp $
  *
  * (c) The GHC Team, 1998-1999
  *
@@ -317,8 +317,10 @@ extern RTS_FLAGS RtsFlags;
 
 /* Routines that operate-on/to-do-with RTS flags: */
 
-void initRtsFlagsDefaults(void);
-void setupRtsFlags(int *argc, char *argv[], int *rts_argc, char *rts_argv[]);
+extern void initRtsFlagsDefaults(void);
+extern void setupRtsFlags(int *argc, char *argv[], int *rts_argc, char *rts_argv[]);
+extern void setProgName(char *argv[]);
+
 
 /*
  * The printf formats are here, so we are less likely to make
-- 
1.7.10.4