diff options
Diffstat (limited to 'lib/header.h')
-rw-r--r-- | lib/header.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/header.h b/lib/header.h index 788db6399..a1333236d 100644 --- a/lib/header.h +++ b/lib/header.h @@ -34,8 +34,8 @@ typedef unsigned int uint_32; typedef unsigned short uint_16; #endif -typedef struct headerToken *Header; -typedef struct headerIteratorS *HeaderIterator; +typedef /*@abstract@*/ struct headerToken *Header; +typedef /*@abstract@*/ struct headerIteratorS *HeaderIterator; struct headerTagTableEntry { char * name; |