Updating for cert move

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

diff --git a/src/Headers/forwardTypes.h b/src/Headers/forwardTypes.h
index d341778b6acdc50159cba490b59efaaeb3223cb4..45f19b7bbdcae3bb5e28b09060a359646ebdeb28 100644 (file)
--- a/src/Headers/forwardTypes.h
+++ b/src/Headers/forwardTypes.h
@@ -27,7 +27,7 @@ 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;