updating to make tree consistent for start at cert

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

diff --git a/src/Headers/forwardTypes.h b/src/Headers/forwardTypes.h
index 45f19b7bbdcae3bb5e28b09060a359646ebdeb28..a7d63ad068d318f51c895e0fc812f6ef38507c0b 100644 (file)
--- a/src/Headers/forwardTypes.h
+++ b/src/Headers/forwardTypes.h
@@ -27,7 +27,9 @@ abst_typedef struct _constraintList  *constraintList;
 
 /* DRL modified 9 26 00 */
 
-abst_typedef /*@null@*/ struct constraintExpr_ * constraintExpr;
+abst_typedef /*@null@*/ struct _constraintExpr * constraintExpr;
+
+
 
 /*@-cppnames@*/
 typedef int bool;