*** empty log message ***

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

diff --git a/src/Headers/mtincludes.h b/src/Headers/mtincludes.h
index 79f52029762da901aaf14d9d672df93753b130c1..c5cc973e5d9383a6269feffe46cff56fe95dd860 100644 (file)
--- a/src/Headers/mtincludes.h
+++ b/src/Headers/mtincludes.h
@@ -1,3 +1,6 @@
+# ifndef MTINCLUDES_H
+# define MTINCLUDES_H
+
 # include "mttok.h"
 # include "mtreader.h"
 # include "mtDeclarationNode.h"
@@ -23,3 +26,11 @@
 # include "metaStateConstraint.h"
 # include "metaStateSpecifier.h"
 # include "metaStateExpression.h"
+# include "metaStateInfo.h"
+# include "metaStateTable.h"
+# include "annotationInfo.h"
+# include "annotationTable.h"
+
+# else
+# error "Multiple include"
+# endif