X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/b8dce3c7c286678208d27713c5380cfe35867101..7ac98eb7e62335f5bb191d2c399d7dae5c1e62ab:/src/Headers/system_constants.h

diff --git a/src/Headers/system_constants.h b/src/Headers/system_constants.h
index df6bda5..513fd2c 100644
--- a/src/Headers/system_constants.h
+++ b/src/Headers/system_constants.h
@@ -116,7 +116,7 @@
 /*@constant int CGLOBBASESIZE; @*/
 # define CGLOBBASESIZE 1024
 
-/*@constant int CGLOBHASHSIZE; @*/
+/*@constant unsigned long CGLOBHASHSIZE; @*/
 # define CGLOBHASHSIZE 1795
 
 /*@constant int LLHASHSIZE; @*/