*** empty log message ***

[splint.git] / src / metaStateConstraint.c

diff --git a/src/metaStateConstraint.c b/src/metaStateConstraint.c
index 6933bf78e5840223d3ef1ac7109725c74c1745cc..2a5b5722ca5ecd2d376e5cf229792ecdfcae19c5 100644 (file)
--- a/src/metaStateConstraint.c
+++ b/src/metaStateConstraint.c
@@ -27,7 +27,6 @@
 
 # include "lclintMacros.nf"
 # include "basic.h"
-# include "mtincludes.h"
 
 metaStateConstraint 
 metaStateConstraint_create (/*@only@*/ metaStateSpecifier lspec, /*@only@*/ metaStateExpression rspec)