From b0de964ebd0abcfc644c1884364717cbfab2ca9f Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Wed, 30 Mar 2005 11:08:47 +0000
Subject: [PATCH] [project @ 2005-03-30 11:08:47 by simonmar] statsPrintf: add
 a gcc attribute to get better type errors

---
 ghc/rts/Stats.c |    4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ghc/rts/Stats.c b/ghc/rts/Stats.c
index 1fcb94d..9176607 100644
--- 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 );
 
-- 
1.7.10.4