*** empty log message ***

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

diff --git a/src/Headers/forwardTypes.h b/src/Headers/forwardTypes.h
index 5d0f9741abb16a281b98070568435059d0e9f645..4f3c335afe2177854da742551af3f3f70502b681 100644 (file)
--- a/src/Headers/forwardTypes.h
+++ b/src/Headers/forwardTypes.h
@@ -61,8 +61,8 @@ abst_typedef struct s_mtLoseReference *mtLoseReference;
 abst_typedef struct s_mtTransferAction *mtTransferAction;
 abst_typedef sRefSet globSet;
 
-abst_typedef  struct s_constraint *constraint;
-abst_typedef struct s_constraintList  *constraintList;
+abst_typedef /*@null@*/ struct s_constraint *constraint;
+abst_typedef /*@null@*/ struct s_constraintList *constraintList;
 
 
 /* DRL modified 9 26 00 */