*** empty log message ***

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

diff --git a/src/Headers/forwardTypes.h b/src/Headers/forwardTypes.h
index 4d1334754696650a2abe702a008583cbcca3dc75..5d575f5c8c3c848fd75df9ce209e5499bf2b424f 100644 (file)
--- a/src/Headers/forwardTypes.h
+++ b/src/Headers/forwardTypes.h
@@ -23,6 +23,9 @@ abst_typedef /*@null@*/ struct _environmentTable *environmentTable;
 
 abst_typedef /*@null@*/ struct _constraint *constraint;
 
+/* DRL modified 9 26 00 */
+
+abst_typedef struct constraintExpr_ * constraintExpr;
 
 /*@-cppnames@*/
 typedef int bool;