Prewinter break editing commit.

[splint.git] / src / Makefile.sources

diff --git a/src/Makefile.sources b/src/Makefile.sources
index a936d99b9de97219c1998235ec2ba1bfef2517bf..31ef12029a9bc59f6c5f441100cb1ee5aa513786 100644 (file)
--- a/src/Makefile.sources
+++ b/src/Makefile.sources
@@ -25,16 +25,17 @@ GRAMSRC    = cgrammar.c cscanner.c
 
 GENERALSRC = cstring.c fileloc.c message.c source.c \
     fileTable.c hashTable.c llerror.c messageLog.c \
+    flagMarker.c aliasTable.c ynm.c sRefTable.c \
+    ekind.c usymtab.c multiVal.c lltok.c sRef.c lcllib.c \
     constraint.c \
     constraintTerm.c \
     constraintExpr.c \
     constraintExprData.c \
     constraintResolve.c \
+    constraintOutput.c \
     environmentTable.c \
     constraintList.c \
     constraintGeneration.c \
-    flagMarker.c aliasTable.c ynm.c sRefTable.c \
-    ekind.c usymtab.c multiVal.c lltok.c sRef.c lcllib.c \
     exprData.c
 
 ###