X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FStats.h;h=f7a14a1e59ddbe5c89dc301e720bc663fd6c629a;hb=c6eadadbefe2ec5709e9d31893f79c4ff78754b4;hp=9de6b718bba4b7df69c06c292551d73f08028976;hpb=5a2769f0273dd389977e8283375e7920d183bdd4;p=ghc-hetmet.git

diff --git a/rts/Stats.h b/rts/Stats.h
index 9de6b71..f7a14a1 100644
--- a/rts/Stats.h
+++ b/rts/Stats.h
@@ -54,4 +54,9 @@ HsInt64   getAllocations( void );
 Ticks stat_getElapsedGCTime(void);
 Ticks stat_getElapsedTime(void);
 
+/* Only exported for Papi.c */
+void statsPrintf( char *s, ... ) 
+    GNUC3_ATTRIBUTE(format (printf, 1, 2));
+
+
 #endif /* STATS_H */