*** empty log message ***

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

diff --git a/src/Headers/mtincludes.h b/src/Headers/mtincludes.h
index e837405a229e62fcfde0396dfe5894e41ef4db81..be089d93b356c896182fe6ad55196211674a77fd 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"
@@ -20,3 +23,15 @@
 # include "mtMergeItem.h"
 # include "mtMergeClause.h"
 # include "mtMergeClauseList.h"
+# include "metaStateConstraint.h"
+# include "metaStateConstraintList.h"
+# include "metaStateSpecifier.h"
+# include "metaStateExpression.h"
+# include "metaStateInfo.h"
+# include "metaStateTable.h"
+# include "annotationInfo.h"
+# include "annotationTable.h"
+
+# else
+# error "Multiple include"
+# endif