diff options
Diffstat (limited to 'lib/header.h')
| -rw-r--r-- | lib/header.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/header.h b/lib/header.h index d6997e8ee..4bccd08f4 100644 --- a/lib/header.h +++ b/lib/header.h @@ -305,6 +305,7 @@ typedef const char * errmsg_t; * @param c number of values * @return 1 on success, 0 on failure */ +/*@mayexit@*/ int headerAddEntry(Header h, int_32 tag, int_32 type, const void *p, int_32 c) /*@modifies h @*/; |