*** empty log message ***

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

diff --git a/src/Headers/mtincludes.h b/src/Headers/mtincludes.h
index c5cc973e5d9383a6269feffe46cff56fe95dd860..be089d93b356c896182fe6ad55196211674a77fd 100644 (file)
--- a/src/Headers/mtincludes.h
+++ b/src/Headers/mtincludes.h
@@ -24,6 +24,7 @@
 # include "mtMergeClause.h"
 # include "mtMergeClauseList.h"
 # include "metaStateConstraint.h"
+# include "metaStateConstraintList.h"
 # include "metaStateSpecifier.h"
 # include "metaStateExpression.h"
 # include "metaStateInfo.h"