summaryrefslogtreecommitdiff
path: root/lib/header.h
diff options
context:
space:
mode:
Diffstat (limited to 'lib/header.h')
-rw-r--r--lib/header.h4
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;