Fixed problem with NULL being changed.

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

diff --git a/src/Headers/cstringTable.h b/src/Headers/cstringTable.h
index 40516b32e62fcb8260673f3b84cae05b871d3e48..a08f4c974b7303c779b6a0b3125f5dad5bbae433 100644 (file)
--- a/src/Headers/cstringTable.h
+++ b/src/Headers/cstringTable.h
@@ -40,7 +40,7 @@ typedef /*@only@*/ hbucket o_hbucket;
 struct s_cstringTable
 {
   unsigned long size;
-  int nentries;
+  unsigned long nentries;
   /*@only@*/ o_hbucket *buckets;
 } ;