*** empty log message ***

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

diff --git a/src/Headers/forwardTypes.h b/src/Headers/forwardTypes.h
index 583ef5f87794dde98b842510270480b515093c52..f6d393ce860ba7ed070361863e2c665ff8285d3d 100644 (file)
--- a/src/Headers/forwardTypes.h
+++ b/src/Headers/forwardTypes.h
@@ -27,6 +27,8 @@ abst_typedef /*@null@*/ genericTable valueTable;
 abst_typedef /*@null@*/ genericTable metaStateTable;
 abst_typedef /*@null@*/ genericTable annotationTable;
 abst_typedef /*@null@*/ struct s_metaStateInfo *metaStateInfo;
+
+abst_typedef /*@null@*/ struct s_functionConstraint *functionConstraint;
 abst_typedef struct s_metaStateConstraint *metaStateConstraint;
 abst_typedef struct s_metaStateSpecifier *metaStateSpecifier;
 abst_typedef /*@null@*/ struct s_metaStateExpression *metaStateExpression;