Fixed all /*@i...@*/ tags (except 1).

[splint.git] / src / Makefile.am

diff --git a/src/Makefile.am b/src/Makefile.am
index 024c878854c26a8831809ea62ce10c2eb7623222..aa76a9e6d5f24c379d49cb07e6958aa057cfc043 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -211,11 +211,11 @@ HEADERSRC = Headers/abstBodyNode.h           Headers/ltokenList.h \
           Headers/letDeclNodeList.h        Headers/typeNameNodeList.h \
           Headers/lh.h                     Headers/typeNamePack.h \
           Headers/limwr.h                  Headers/typeNode.h \
-          Headers/llbasic.h                Headers/uentry.h \
+                             Headers/uentry.h \
           Headers/llerror.h                Headers/uentryList.h \
           Headers/llglobals.h              Headers/usymId.h \
           Headers/llgrammar2.h             Headers/usymIdSet.h \
-          Headers/llgrammar_gen2.h         Headers/usymtab-branch.h \
+          Headers/llgrammar_gen2.h        \
           Headers/llgrammar_gen.h          Headers/usymtab.h \
           Headers/llgrammar.h              Headers/usymtab_interface.h \
           Headers/llmain.h                 Headers/valueMatrix.h \