*** empty log message ***

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

diff --git a/src/Headers/cpphash.h b/src/Headers/cpphash.h
index 08bcde33bbbdfb0491ba8b93c8ea4f915df40a0a..3eba02c31c76b9029f702b4a03cc7551f364b250 100644 (file)
--- a/src/Headers/cpphash.h
+++ b/src/Headers/cpphash.h
@@ -23,7 +23,7 @@ struct hashnode {
   ** of the chain and gets deleted. 
   */
 
-  /*@dependent@*/ struct hashnode **bucket_hdr;
+  /*@null@*/ /*@dependent@*/ struct hashnode **bucket_hdr;
 
   enum node_type type;         /* type of special token */
   int length;                  /* length of token, for quick comparison */