[project @ 2004-09-03 15:28:18 by simonmar]

[ghc-hetmet.git] / ghc / rts / Schedule.h

diff --git a/ghc/rts/Schedule.h b/ghc/rts/Schedule.h
index 588ddc5..d097a39 100644 (file)
--- a/ghc/rts/Schedule.h
+++ b/ghc/rts/Schedule.h
@@ -315,7 +315,8 @@ startSchedulerTaskIfNecessary(void);
 #endif
 
 #ifdef DEBUG
-extern void sched_belch(char *s, ...);
+extern void sched_belch(char *s, ...)
+   GNU_ATTRIBUTE(format (printf, 1, 2));
 #endif
 
 #endif /* __SCHEDULE_H__ */