*** empty log message ***

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

diff --git a/src/Headers/basic.h b/src/Headers/basic.h
index 2597117e0a347507135bb3afa055742dba0789bc..8003b6f661d18d52072b19fa2a9479d2dbd3edb0 100644 (file)
--- a/src/Headers/basic.h
+++ b/src/Headers/basic.h
@@ -96,10 +96,7 @@
 # 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"