diff options
Diffstat (limited to 'lib/header.h')
| -rw-r--r-- | lib/header.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/header.h b/lib/header.h index 727115638..c566904eb 100644 --- a/lib/header.h +++ b/lib/header.h @@ -208,7 +208,9 @@ unsigned int headerSizeof(/*@null@*/ Header h, enum hMagic magicp) * @param p on-disk header (with offsets) * @return header */ +/*@-exportlocal@*/ /*@null@*/ Header headerLoad(/*@kept@*/ void * p) /*@*/; +/*@=exportlocal@*/ /** \ingroup header * Make a copy and convert header to in-memory representation. |