diff options
Diffstat (limited to 'rts/Stats.h')
| -rw-r--r-- | rts/Stats.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/Stats.h b/rts/Stats.h index baabd26553..f576e1f91f 100644 --- a/rts/Stats.h +++ b/rts/Stats.h @@ -64,7 +64,7 @@ Time stat_getElapsedTime(void); /* Only exported for Papi.c */ void statsPrintf( char *s, ... ) - GNUC3_ATTRIBUTE(format (printf, 1, 2)); + GNUC3_ATTRIBUTE(format (gnu_printf, 1, 2)); #include "EndPrivate.h" |