*** empty log message ***

[splint.git] / src / Headers / forwardTypes.h

diff --git a/src/Headers/forwardTypes.h b/src/Headers/forwardTypes.h
index 4f3c335afe2177854da742551af3f3f70502b681..583ef5f87794dde98b842510270480b515093c52 100644 (file)
--- a/src/Headers/forwardTypes.h
+++ b/src/Headers/forwardTypes.h
@@ -27,6 +27,9 @@ abst_typedef /*@null@*/ genericTable valueTable;
 abst_typedef /*@null@*/ genericTable metaStateTable;
 abst_typedef /*@null@*/ genericTable annotationTable;
 abst_typedef /*@null@*/ struct s_metaStateInfo *metaStateInfo;
+abst_typedef struct s_metaStateConstraint *metaStateConstraint;
+abst_typedef struct s_metaStateSpecifier *metaStateSpecifier;
+abst_typedef /*@null@*/ struct s_metaStateExpression *metaStateExpression;
 
 abst_typedef /*@null@*/ struct s_functionClause *functionClause;
 abst_typedef /*@null@*/ struct s_functionClauseList *functionClauseList;