Fixed library dump support so that buffer constraint annotations are read and written...

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

diff --git a/src/Headers/forwardTypes.h b/src/Headers/forwardTypes.h
index 5d575f5c8c3c848fd75df9ce209e5499bf2b424f..b88705051b8be84e4c1b581b1b27825ea114eed0 100644 (file)
--- a/src/Headers/forwardTypes.h
+++ b/src/Headers/forwardTypes.h
@@ -19,13 +19,16 @@ abst_typedef /*@null@*/ struct _sRefSet *sRefSet;
 abst_typedef /*@null@*/ struct _aliasTable *aliasTable;
 abst_typedef /*@null@*/ struct __fileloc *fileloc;
 
-abst_typedef /*@null@*/ struct _environmentTable *environmentTable;
 
-abst_typedef /*@null@*/ struct _constraint *constraint;
+abst_typedef  struct _constraint *constraint;
+abst_typedef struct _constraintList  *constraintList;
+
 
 /* DRL modified 9 26 00 */
 
-abst_typedef struct constraintExpr_ * constraintExpr;
+abst_typedef /*@null@*/ struct _constraintExpr * constraintExpr;
+
+
 
 /*@-cppnames@*/
 typedef int bool;