X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/74738c0fa6a63f888fa6fb0758c9ad438d47a700..f9264521e093e570a8831d5238ccc3bc20e01119:/src/Headers/forwardTypes.h

diff --git a/src/Headers/forwardTypes.h b/src/Headers/forwardTypes.h
index 73407d6..3963638 100644
--- a/src/Headers/forwardTypes.h
+++ b/src/Headers/forwardTypes.h
@@ -24,6 +24,7 @@ abst_typedef /*@null@*/ struct s_genericTable *genericTable;
 abst_typedef /*@null@*/ struct s_annotationInfo *annotationInfo;
 abst_typedef /*@null@*/ struct s_inputStream *inputStream;
 abst_typedef /*@null@*/ struct s_stateValue *stateValue;
+abst_typedef /*@null@*/ struct s_pointers *pointers;
 abst_typedef /*@null@*/ genericTable valueTable;
 abst_typedef /*@null@*/ genericTable metaStateTable;
 abst_typedef /*@null@*/ genericTable annotationTable;