X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/77d3741943947b83a5d6a10a5e31650a1005dbde..35eea586ba9af7af69f0646f5f6a5958b8215dd8:/src/fileLib.c diff --git a/src/fileLib.c b/src/fileLib.c index 2f5dcac..dfda85e 100644 --- a/src/fileLib.c +++ b/src/fileLib.c @@ -17,15 +17,15 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* ** fileLib.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "portab.h" @@ -163,7 +163,7 @@ fileLib_addExtension (/*@temp@*/ cstring s, cstring suffix) if (strrchr (s, '.') == (char *) 0) { - /* <<< was mstring_concatFree1 --- bug detected by lclint >>> */ + /* <<< was mstring_concatFree1 --- bug detected by splint >>> */ return (cstring_concat (s, suffix)); } else