]> andersk Git - splint.git/blobdiff - src/Headers/system_constants.h
noexpand always false.
[splint.git] / src / Headers / system_constants.h
index 05b58b89744b6988491729e807eac794494744e3..3e65ff7f438577aa61ed67830a1402914d01fe30 100644 (file)
@@ -1,13 +1,11 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 */
 # ifndef SYSTEM_CONSTANTS_H
 # define SYSTEM_CONSTANTS_H
 
-# ifndef NOLCL
 # include "lcl_constants.h"
-# endif
 
 /* exit codes */
 
 ** 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.025084 seconds and 4 git commands to generate.