diff options
Diffstat (limited to 'src/prog-fprintf.h')
| -rw-r--r-- | src/prog-fprintf.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/prog-fprintf.h b/src/prog-fprintf.h index d26334c8f..eb0f185e6 100644 --- a/src/prog-fprintf.h +++ b/src/prog-fprintf.h @@ -20,6 +20,6 @@ # include <stdio.h> extern void prog_fprintf (FILE *fp, char const *fmt, ...) - _GL_ATTRIBUTE_FORMAT ((__printf__, 2, 3)); + _GL_ATTRIBUTE_FORMAT ((__printf__, 2, 3)) _GL_ATTRIBUTE_NONNULL ((1, 2));; #endif |
