]> andersk Git - splint.git/blobdiff - src/Headers/system_constants.h
noexpand always false.
[splint.git] / src / Headers / system_constants.h
index df6bda5e0ee6d6a8be22f51a3351930baf38e032..3e65ff7f438577aa61ed67830a1402914d01fe30 100644 (file)
@@ -98,7 +98,7 @@
 ** Size of hash table for file names.
 */
 
-/*@constant int FTHASHSIZE; @*/
+/*@constant unsigned long FTHASHSIZE; @*/
 # define FTHASHSIZE 273
 
 /*
 /*@constant int CGLOBBASESIZE; @*/
 # define CGLOBBASESIZE 1024
 
-/*@constant int CGLOBHASHSIZE; @*/
+/*@constant unsigned long CGLOBHASHSIZE; @*/
 # define CGLOBHASHSIZE 1795
 
 /*@constant int LLHASHSIZE; @*/
This page took 0.032107 seconds and 4 git commands to generate.