X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/51bc6ecce8b6e9877dccd8bda2cf220b47e6929c..e63e0a4a31c06a56312538440dd5b384e19ddb55:/src/Makefile.in

diff --git a/src/Makefile.in b/src/Makefile.in
index a7663b8..af506c8 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -237,7 +237,7 @@ HEADERSRC = Headers/abstBodyNode.h           Headers/ltokenList.h \
           Headers/declaratorInvNodeList.h  Headers/pairNodeList.h \
           Headers/declaratorNode.h         Headers/paramNode.h \
           Headers/declaratorNodeList.h     Headers/paramNodeList.h \
-          Headers/dmalloc.h                Headers/portab.h \
+          Headers/dmalloc.h                Headers/osd.h \
           Headers/ekind.h                  Headers/pp.h \
           Headers/enumNameList.h           Headers/privateNode.h \
           Headers/enumNameSList.h          Headers/programNode.h \
@@ -325,6 +325,7 @@ HEADERSRC = Headers/abstBodyNode.h           Headers/ltokenList.h \
           Headers/lsymbolList.h            Headers/warnClause.h \
           Headers/lsymbolSet.h             Headers/ynm.h \
           Headers/ltoken.h   Headers/splintMacros.nf  \
+          Headers/typeId.h \
           Headers/pointers.h   Headers/mstring.h   Headers/help.h