Fix tracker issue 1837229.

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

diff --git a/src/Headers/system_constants.h b/src/Headers/system_constants.h
index 2cb07a5b6c077df0f3370facc1710f296176c8b7..3e65ff7f438577aa61ed67830a1402914d01fe30 100644 (file)
--- a/src/Headers/system_constants.h
+++ b/src/Headers/system_constants.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 */
 # ifndef SYSTEM_CONSTANTS_H
@@ -98,7 +98,7 @@
 ** Size of hash table for file names.
 */
 
-/*@constant int FTHASHSIZE; @*/
+/*@constant unsigned long FTHASHSIZE; @*/
 # define FTHASHSIZE 273
 
 /*
@@ -116,7 +116,7 @@
 /*@constant int CGLOBBASESIZE; @*/
 # define CGLOBBASESIZE 1024
 
-/*@constant int CGLOBHASHSIZE; @*/
+/*@constant unsigned long CGLOBHASHSIZE; @*/
 # define CGLOBHASHSIZE 1795
 
 /*@constant int LLHASHSIZE; @*/