X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/885824d34f6f6626fde2fb041801408cbaf1f6f1..920a3797c23377bfb7332b0c11bda1d708cabb72:/src/Headers/forwardTypes.h

diff --git a/src/Headers/forwardTypes.h b/src/Headers/forwardTypes.h
index 1da3ef0..b887050 100644
--- a/src/Headers/forwardTypes.h
+++ b/src/Headers/forwardTypes.h
@@ -12,11 +12,24 @@ typedef /*@only@*/ uentry o_uentry;
 abst_typedef /*@null@*/ struct _idDecl *idDecl;
 abst_typedef /*@null@*/ struct _usymtab  *usymtab;
 abst_typedef /*@null@*/ struct _exprNode *exprNode;
+
+
 abst_typedef /*@null@*/ struct _guardSet *guardSet;
 abst_typedef /*@null@*/ struct _sRefSet *sRefSet;
 abst_typedef /*@null@*/ struct _aliasTable *aliasTable;
 abst_typedef /*@null@*/ struct __fileloc *fileloc;
 
+
+abst_typedef  struct _constraint *constraint;
+abst_typedef struct _constraintList  *constraintList;
+
+
+/* DRL modified 9 26 00 */
+
+abst_typedef /*@null@*/ struct _constraintExpr * constraintExpr;
+
+
+
 /*@-cppnames@*/
 typedef int bool;
 /*@=cppnames@*/