X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Frts%2FStats.c;fp=ghc%2Frts%2FStats.c;h=9176607bbec377964a6bfd5899bc573b0df8e4ba;hb=b0de964ebd0abcfc644c1884364717cbfab2ca9f;hp=1fcb94d44b74f8475fba827dbbccf65fefb115c7;hpb=9ebc66ac951dd30dd2325553abbb4be9086bceef;p=ghc-hetmet.git

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 );