*** empty log message ***

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

diff --git a/src/Headers/basic.h b/src/Headers/basic.h
index 384bec6a1a86da1acf1624b32a3bbc5a156bae39..8003b6f661d18d52072b19fa2a9479d2dbd3edb0 100644 (file)
--- a/src/Headers/basic.h
+++ b/src/Headers/basic.h
@@ -17,6 +17,7 @@
 # include "message.h" 
 # include "fileloc.h"
 # include "globals.h"
+# include "cpp.h"
 # include "flag_codes.h"
 # include "flags.h"
 # include "flagSpec.h"
@@ -95,10 +96,8 @@
 # include "messageLog.h"
 # include "clauseStack.h"
 # include "stateCombinationTable.h"
-# include "metaStateInfo.h"
-# include "metaStateTable.h"
-# include "annotationInfo.h"
-# include "annotationTable.h"
+# include "mtincludes.h"
+# include "functionConstraint.h"
 
 # include "context.h"
 # include "constants.h"