Fixed problem with NULL being changed.

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

diff --git a/src/Headers/system_constants.h b/src/Headers/system_constants.h
index 513fd2c25ad79c7e441acb60902a67e3d8cff008..3e65ff7f438577aa61ed67830a1402914d01fe30 100644 (file)
--- a/src/Headers/system_constants.h
+++ b/src/Headers/system_constants.h
@@ -98,7 +98,7 @@
 ** Size of hash table for file names.
 */
 
-/*@constant int FTHASHSIZE; @*/
+/*@constant unsigned long FTHASHSIZE; @*/
 # define FTHASHSIZE 273
 
 /*