*** empty log message ***

[splint.git] / src / Makefile.sources

diff --git a/src/Makefile.sources b/src/Makefile.sources
index f17d2d657ab647bb92c15da0483d66157416be14..0c7aee47be120a65db23559904adb42217833fc6 100644 (file)
--- a/src/Makefile.sources
+++ b/src/Makefile.sources
@@ -16,7 +16,7 @@ CSRC = uentry.c cprim.c macrocache.c qual.c qtype.c stateClause.c \
    stateClauseList.c ctype.c cvar.c clabstract.c idDecl.c clause.c \
    globalsClause.c modifiesClause.c warnClause.c functionClause.c \
    functionClauseList.c metaStateConstraint.c metaStateExpression.c \
-   metaStateSpecifier.c
+   metaStateSpecifier.c functionConstraint.c
 
 LCLINTSRC = exprNode.c exprChecks.c llmain.c
  CHECKSRC   = structNames.c transferChecks.c varKinds.c nameChecks.c