[project @ 2005-03-30 11:08:47 by simonmar]

statsPrintf: add a gcc attribute to get better type errors

diff --git a/ghc/rts/Stats.c b/ghc/rts/Stats.c
index 1fcb94d..9176607 100644 (file)
--- a/ghc/rts/Stats.c
+++ b/ghc/rts/Stats.c
@@ -121,7 +121,9 @@ static TICK_TYPE *GC_coll_times;
 static void  getTimes(void);
 static nat   pageFaults(void);
 
-static void statsPrintf( char *s, ... );
+static void statsPrintf( char *s, ... ) 
+    GNUC3_ATTRIBUTE(format (printf, 1, 2));
+
 static void statsFlush( void );
 static void statsClose( void );