Fixed -help <mode> bug.

[splint.git] / src / Makefile.sources

diff --git a/src/Makefile.sources b/src/Makefile.sources
index 0cb998413923df6f0d37b38b3da30ffc25f8c4a9..3cbacf5ba9a66645e8eb054087835badb01bb60b 100644 (file)
--- a/src/Makefile.sources
+++ b/src/Makefile.sources
@@ -27,15 +27,15 @@ GRAMS      = cgrammar.y cscanner.l llgrammar.y signature.y mtgrammar.y
 GRAMSRC    = cgrammar.c cscanner.c mtscanner.c mtreader.c mtgrammar.c
 
 OVERFLOWCHSRC = \
+    constraintGeneration.c \
     constraintTerm.c \
     constraintExprData.c \
     constraintExpr.c \
     constraint.c \
     constraintList.c \
     constraintResolve.c \
-    constraintGeneration.c \
     constraintOutput.c \
-    forjunk.c 
+    loopHeuristics.c 
     
 GENERALSRC =  \
     exprData.c \