Added va_copy to standard.h.

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

diff --git a/src/Headers/system_constants.h b/src/Headers/system_constants.h
index df6bda5e0ee6d6a8be22f51a3351930baf38e032..513fd2c25ad79c7e441acb60902a67e3d8cff008 100644 (file)
--- 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; @*/