Fixed all /*@i...@*/ tags (except 1).

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

diff --git a/src/Headers/basic.h b/src/Headers/basic.h
index f894e913803313de9fced5173582df9dc1c2e003..8cc45a453d070fa8692fa9e9ce4a6eadf28be789 100644 (file)
--- a/src/Headers/basic.h
+++ b/src/Headers/basic.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.
 **
 */
@@ -9,6 +9,7 @@
 
 # ifdef HAVE_CONFIG_H
 # ifdef WIN32
+
 /* Win32 uses its own hand-generated config file */
 # include "../../winconfig.h"
 # else 
@@ -67,6 +68,8 @@
 # include "varKinds.h"
 # include "sRefSet.h"
 # include "ekind.h"
+# include "usymId.h"
+# include "typeId.h"
 # include "usymIdSet.h"
 # include "sRefList.h"
 # include "uentryList.h"
@@ -108,9 +111,9 @@
 # include "mtincludes.h"
 # include "functionConstraint.h"
 # include "fileIdList.h"
-
 # include "context.h"
 # include "constants.h"
+# include "llglobals.h"
 
 # else
 # error "Multiple include"