*** empty log message ***

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

diff --git a/src/Headers/basic.h b/src/Headers/basic.h
index 384bec6a1a86da1acf1624b32a3bbc5a156bae39..c4cd84e72f9e85ed35153330184fbee07c698da5 100644 (file)
--- a/src/Headers/basic.h
+++ b/src/Headers/basic.h
@@ -99,6 +99,7 @@
 # include "metaStateTable.h"
 # include "annotationInfo.h"
 # include "annotationTable.h"
+# include "functionConstraint.h"
 
 # include "context.h"
 # include "constants.h"